https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63342

--- Comment #6 from Julian Taylor <jtaylor.debian at googlemail dot com> ---
thanks, head (and branches) work fine now

Reply via email to