Re: dash bug which is affecting release goal

[Ian Jackson <ian@davenant.greenend.org.uk>]

Sergei Golovan writes ("Re: dash bug which is affecting release goal"):
> Expression ${1+"$@"} means "if $1 exists use "$@", otherwise nothing".
> It's a workaround for a bug in some old bash version which erroneously
> converted "$@" in case of empty command line into a single empty
> argument. I think in new releases it isn't necessary to account for
> this.

Ah.  I haven't encountered that bug.  Was it in any recently released
version.  I don't think we should be worrying about it now, surely ?

Ian.