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)
commit55ecf055c21454a9573090a2de2d3899b63e429b
tree8b74f45ca84eb71690a9480911c8200b12bbea4e
parente82081acd8f43f9f89cbeeca542d1f0628565399
parent7e2f72df66c87129894adaaa771f91697b7430d7
Merge pull request #1085 from fhuberts/misc-package-sh-fixes

Misc package sh fixes