* Andreas Bombe: > How many million person-hours does it really need to substitute > "#!/bin/sh" by "#!/bin/bash" once per script? That's even easily > scriptable, and I don't see the need for any amount of reviewing and > testing for such simple a bug fix. /bin/sh behaves differently than /bin/bash, even if both are implemented by bash. So this change needs some review, too.