http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57003



--- Comment #20 from Bernd Schmidt <bernds at gcc dot gnu.org> 2013-04-25 
10:12:12 UTC ---

Patch is OK, thanks Jakub - you were too fast for me on this one.

Reply via email to