Re: [PATCH] Fix bogus fix-it for FLT_MAX (PR c/89122)

[Jakub Jelinek]

On Thu, Jan 31, 2019 at 09:13:24AM -0500, David Malcolm wrote:
> In the meantime, is the original patch OK?

Yes, thanks.

        Jakub