[Issue 17125] Header Generation Incorrectly Formats Floating Point Number

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=17125

Dlang Bot <dlang-bot at dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Dlang Bot <dlang-bot at dlang.rocks> ---
dlang/dmd pull request #10634 "Issue17125 -  Header Generation Incorrectly
Formats Floating Point Number" was merged into master:

- 0b9cb4ee9373ed76a712895910649fd9e6b6821b by Cristian Creteanu:
  Fix Issue 17125 - Header Generation Incorrectly Formats Floating Point Number

https://github.com/dlang/dmd/pull/10634

--