Re: proposal to add -Wheader-guard option

[Prathamesh Kulkarni]

On Tue, Feb 4, 2014 at 12:45 PM, Markus Trippelsdorf
<mar...@trippelsdorf.de> wrote:
> On 2014.02.04 at 12:36 +0530, Prathamesh Kulkarni wrote:
>> Ping ?
>
> Patches should be posted to the gcc-patc...@gcc.gnu.org list.
> Please follow up there.
Redirected to gcc-patc...@gcc.gnu.org list. I apologize for posting here.
>
> --
> Markus