Re: [patch] Fix build when source directory includes @ character

[FX via Gcc-patches]

> OK.  You have commit privs, right?

Yes, and I did commit after Richard’s OK: 
https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=034db20e2ea8301b5dc251bf10a97ce1cf90655f

… but I forgot to send an email saying I had, sorry.

FX