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



Reply via email to