John H. Robinson, IV writes ("Re: dash bug which is affecting release goal"): > Pierre Habouzit wrote: > > echo() { /bin/echo "$@" } > > echo() { /bin/echo ${1+"$@"}; } > > I believe you mean. Why ?! Ian.