Indeed it is, thanks. Resolved. s'marks
On 12/11/19 8:41 AM, Stefan Zobel wrote:
FWIW, I believe this bug is duplicate of https://bugs.openjdk.java.net/browse/JDK-8213238 Regards, Stefan Am Mi., 11. Dez. 2019 um 17:07 Uhr schrieb Arthur Eubanks <aeuba...@google.com>:Hi, could I get a review for a trivial and tiny doc fix? Bug: https://bugs.openjdk.java.net/browse/JDK-8235730 Webrev: http://cr.openjdk.java.net/~aeubanks/8235730/webrev.00/
