RFR CSR JDK-8202555: Double.toString(double) sometimes produces incorrect results

[Brian Burkhalter]

So much the better!

> On Mar 17, 2020, at 3:05 PM, Raffaello Giulietti <raffaello.giulietti at gmail.com> wrote:
> No, the javadoc is identical, so there's no need to update the CSR.
> 
> R
> 
> On 2020-03-17 22:14, Brian Burkhalter wrote:
>> Raffaello,
>> 
>> Is there any change which would necessitate updating the CSR?