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

[Raffaello Giulietti]

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?
>
> Thanks,
>
> Brian
>
>> On Mar 17, 2020, at 2:13 PM, Brian Burkhalter 
>> <brian.burkhalter at oracle.com <mailto:brian.burkhalter at oracle.com>> wrote:
>>
>>> there's a new version of the documentation [1] for the attached 
>>> patch to solve the long standing issues described in [2]. The CSR 
>>> referred to in the subject is in [3].
>