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

--- Comment #24 from Tomasz Gajewski <tomga at wp dot pl> ---
Well, they certainly did not at that time, so I think the bug can be closed.

Reply via email to