[PATCH] 4511638: Double.toString(double) sometimes produces incorrect results
brian.burkhalter at oracle.com
Wed Sep 26 19:18:40 UTC 2018
On Sep 26, 2018, at 11:24 AM, Brian Burkhalter <brian.burkhalter at oracle.com> wrote:
>> Since there's a change in the specification, according to my sponsor and
>> the formalities it has to undergo a CSR.
> I will update the CSR.
I updated the CSR  with the new verbiage for Double.toString() and Float.toString() and attached a specdiff versus the current JDK 12 repository. Please let me know of any errors.
More information about the core-libs-dev