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

--- Comment #19 from dave.anglin at bell dot net ---
On 2018-09-07 3:14 PM, dave.anglin at bell dot net wrote:
> This fix is better.
Oops, wrong patch.

Reply via email to