https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17239
Václav Haisman <vhaisman at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Version|5.3.0 |4.0.0
--- Comment #3 from Václav Haisman <vhaisman at gmail dot com> ---
Bugzilla is evil. I am reverting the previous unintentional change.
