https://sourceware.org/bugzilla/show_bug.cgi?id=21464
--- Comment #12 from Giulio Benetti <giulio.benetti at micronovasrl dot com> --- Stafford, this is the bug you've fixed: https://sourceware.org/bugzilla/show_bug.cgi?id=27624 So this is still pending. -- You are receiving this mail because: You are on the CC list for the bug.
