Re: /bin/sh diversions

[Petter Reinholdtsen <pere@hungry.com>]

[Josselin Mouette]
> I guess the idea behind making dash the default /bin/sh is not only to
> increase speed but also, in the end, to downgrade bash's priority.

As the one proposing it as a release goal, I can confirm that this is
not the case.  The only idea behind it for me is to increase speed.

If others want to downgrade the priority of bash, I wish them luck and
hope they see it as a completely different effort from the work done
to speed up the distribution. :)

Happy hacking,
-- 
Petter Reinholdtsen