On Thu, 14 May 2015, Marek Polacek wrote: > Ping. > Joseph, do you have any further comments on the patch? The C front-end changes are OK. -- Joseph S. Myers joseph@codesourcery.com