[Bug preprocessor/60723] Line directives with incorrect system header flag

[manu at gcc dot gnu.org]

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-06-17
     Ever confirmed|0                           |1

--- Comment #10 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
(In reply to Nicholas from comment #9)
> Manuel, I have filed a patch to gcc-patches.
> https://gcc.gnu.org/ml/gcc-patches/2014-06/msg00862.html

Great!  unfortunately I don't have any power to approve patches. You'll have to
wait until one of the CPP/C/C++ maintainers approves it. Perhaps you can ping
the patch once per week (see the mailing list archives for examples of people
pinging patches).

Does it fix the problem reported by Matt in PR6142 also?