Paolo Bonzini <[email protected]> writes: > On 08/07/2009 04:31 PM, Paolo Bonzini wrote:
>> Which I am not, just a contributor. But yes, I can do that. > Unfortunately, there's no need to. Eric pinged it a month ago and got > no response. > > http://www.mail-archive.com/[email protected]/msg00132.html You may have better luck pinging the Debian dash package maintainers directly, since Debian is in the middle of changing the default /bin/sh shell to dash and it would be nice if Autoconf could use the default shell. -- Russ Allbery ([email protected]) <http://www.eyrie.org/~eagle/>
