https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83421
--- Comment #4 from Jonny Grant ---
Fair enough. I'm sure Ubuntu wouldn't make this kind of patch unfortunately. It
is a shame their package diverges from the official package which sounds like
it includes more headers.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83421
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83421
--- Comment #2 from Jonathan Wakely ---
You could ask the Ubuntu maintainers to include such a patch for their packages
though.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83421
--- Comment #1 from Jonathan Wakely ---
GCC can't know why that header is missing, and it can't recommend
Ubuntu-specific packages.
