https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64079
--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> --- (In reply to Paolo Carlini from comment #5) > Thanks Manu. I'm going to take care of this specific issue. I will also ask > if patches proactively replacing those +D and +#D in the C++ front-end are > welcome at this time. Such changes are pre-approved.
