Wow - nice :-)
On 2018-12-14 13:43, Doug Lea wrote:
On 12/13/18 2:34 PM, Patrick Reinhart wrote:Should I prepare a webrev for this change?No, I think we are all set (thanks Martin!) https://bugs.openjdk.java.net/browse/JDK-8215359
Wow - nice :-)
On 2018-12-14 13:43, Doug Lea wrote:
On 12/13/18 2:34 PM, Patrick Reinhart wrote:Should I prepare a webrev for this change?No, I think we are all set (thanks Martin!) https://bugs.openjdk.java.net/browse/JDK-8215359