On Fri, Jan 28, 2011 at 9:11 PM, <jida...@jidanni.org> wrote:
> I isolated the problem and submitted > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=611417 which I forget > to X-Debbugs-cc to bash-...@gnu.org, which I should have, as it probably > is a upstream problem that only the bash authors can fix. > > In your Debian bug report, you use sh, which is dash rather than Bash.
