Le lundi 10 novembre 2014 à 09:27:42, Herbert Xu a écrit : > Stéphane Aulery <saulery@xxxxxxx> wrote: > > > > [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=646847 > > This patch also appears bogus as csh is an alternative to dash. That's what I say too. Then I told myself that it was more interesting than csh or ksh information. Otherwise it would add sh, bash ... As you want, at least I know if I close this bug has waited too long. Thanks for yours help. -- Stéphane Aulery -- To unsubscribe from this list: send the line "unsubscribe dash" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html