On Wed, Oct 31, 2012 at 5:42 AM, Eric Botcazou <ebotca...@adacore.com> wrote: >> Your change caused: >> >> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55142 > > Please check whether it worked before Richard's fix (r188009). >
It failed with revision 188008. -- H.J.
