https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96548
--- Comment #4 from David Binderman <dcb314 at hotmail dot com> --- This bug has been hanging about for over a week now without resolution. Is the best way to get this into Richard's intray to assign it to him ?
