[Bug bootstrap/57076] @ in the src directory name causes failure while building of gcc.info

[egallager at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57076

--- Comment #8 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to Francois-Xavier Coudert from comment #7)
> Updated patch:
> https://gcc.gnu.org/pipermail/gcc-patches/2020-November/557728.html

...and it got committed:
https://gcc.gnu.org/pipermail/gcc-patches/2020-November/559336.html
So, ok to close this?