bash205b-005 file missing

[Matthias Andree]

walt <wa1ter at myrealbox.com> writes:

>>>>end of "bash205b-005 file missing" from Chris Byrnes <<
>> Didn't this happen the last time bash was updated?
>> obrien, could you put your copy of bash205b-005 in your
>> public_distfiles?
>
> -006 and -007 are also missing on all servers I've checked.

FWIW; these patches aren't in the GNU directories, so I wonder if these
patches are official at all.

-- 
Matthias Andree