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