]> git.tuebingen.mpg.de Git - dss.git/commitdiff
Merge branch 'refs/heads/t/exit-hook'
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 17 Nov 2017 15:41:27 +0000 (16:41 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 17 Nov 2017 15:44:19 +0000 (16:44 +0100)
A fix for a long standing issue with the exit hook.

Cooking for a week.

* refs/heads/t/exit-hook:
  Allow word-splitting for exit hook.


No differences found