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. -- Markus