On 12/17/19 11:32 PM, Yasumasa Suenaga wrote: > PING: Could you review this trivial change? > >> JBS: https://bugs.openjdk.java.net/browse/JDK-8235833 >> webrev: http://cr.openjdk.java.net/~ysuenaga/JDK-8235833/webrev.00/
It's OK. -- Andrew Haley (he/him) Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> https://keybase.io/andrewhaley EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671