chiark / gitweb /
Merge pull request #1085 from fhuberts/misc-package-sh-fixes
authordaid <daid303@gmail.com>
Wed, 14 Jan 2015 13:37:21 +0000 (14:37 +0100)
committerdaid <daid303@gmail.com>
Wed, 14 Jan 2015 13:37:21 +0000 (14:37 +0100)
Misc package sh fixes


Trivial merge