On Wed, 7 Sep 2016, James Greenhalgh wrote: > 2016-09-07 James Greenhalgh <james.greenha...@arm.com> >
I'd think this should say
PR target/63250
as being part of fixing that bug (although not a fix by itself).
--
Joseph S. Myers
jos...@codesourcery.com
