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

[Raffaello Giulietti]

This is the usual, familiar monthly reminder that the latest patches of 
[1] have been submitted more than 9 months ago [2] and still need a review.
Full background documentation is available at [3].

Greetings
Raffaello

----

[1] https://bugs.openjdk.java.net/browse/JDK-8202555
[2] http://cr.openjdk.java.net/~bpb/4511638/webrev.03/
[3] https://drive.google.com/open?id=1KLtG_LaIbK9ETXI290zqCxvBW94dj058