On Tue, Feb 4, 2014 at 12:45 PM, Markus Trippelsdorf <[email protected]> wrote: > On 2014.02.04 at 12:36 +0530, Prathamesh Kulkarni wrote: >> Ping ? > > Patches should be posted to the [email protected] list. > Please follow up there. Redirected to [email protected] list. I apologize for posting here. > > -- > Markus
- proposal to add -Wheader-guard option Prathamesh Kulkarni
- Re: proposal to add -Wheader-guard option Prathamesh Kulkarni
- Re: proposal to add -Wheader-guard option Markus Trippelsdorf
- Re: proposal to add -Wheader-guard option Prathamesh Kulkarni
