Re: bash should not be essential

[Santiago Vila Doncel <sanvila@unex.es>]

-----BEGIN PGP SIGNED MESSAGE-----

> Because this seems to be the only way of encouraging #!/bin/sh
> in favour of #!/bin/bash...

Sorry, "against #!/bin/bash", I meant, of course

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3ia
Charset: latin1

iQCVAgUBNGsEZiqK7IlOjMLFAQFp9wP5AWq4qDFY+RAb8cKDCmF9Ud9BxnCQ+VVm
Kq43Cze5m6o4i6EFVp77cJ2j8Kwpu68cFREg7lh/UduZsxgRD0wDfEuyHfUqM4/L
5GpT6XH3ZIR9cCRRyQ99BMIjC19dFo36Q76IWuYnLDvTyJoeVG6IDlIAJJ3DlPhq
m+ZpF9UBSuc=
=Ln/v
-----END PGP SIGNATURE-----