>>>>> "Luca" == Luca Boccassi <bl...@debian.org> writes: Luca> /bin/sh is not universally compatible with non-Linux OSes.
I claim it is more compatible. Luca> Also I thought that policy should not be used to beat other Luca> developers (it is because of this) and it should reflect the Luca> common practices adopted in Debian (it does not because of Luca> this). Is that no longer the case? I'd consider it a non-RC bug if someone were manually writing #!/usr/bin/sh We can debate about normal vs minor. I do not think it should be a bug if some automated build process found /usr/bin/sh and stuck that into a script. I'd support a policy change to make that clear.