Merge branch 'maint'
commitb291808addc101ba143258ede7c3542c419dbd7c
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 17 Feb 2018 09:44:53 +0000 (17 10:44 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 17 Feb 2018 09:44:53 +0000 (17 10:44 +0100)
treec1969f34f9a6e31f3ff6e5bfc908ab04a73a112d
parent4a20ef8e3d97f5986686723cfb398a19cefb6b39
parent4d165419083057d6a76fb922c964534d726efb37
Merge branch 'maint'
doc/user.pod
isl_pw_templ.c