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

--- Comment #1 from Thorsten Otto <ad...@tho-otto.de> ---
Created attachment 43879
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43879&action=edit
header file marked as system header

Reply via email to