Looks good. David -----
On 9/05/2019 11:44 pm, Erik Joelsson wrote:
In JDK-8223464 I managed to introduce a bug. The reference to the new property for the PRE string is misspelled in one location.Bug: https://bugs.openjdk.java.net/browse/JDK-8223627 Webrev: http://cr.openjdk.java.net/~erikj/8223627/webrev.01/ /Erik
