Looks good. /Erik
On 2019-05-10 09:02, Arthur Eubanks wrote:
Do you really need to use $(SPACE)? I would expect it to work with just removing the quotes. You're right, no need for $(SPACE).Updated webrev: http://cr.openjdk.java.net/~aeubanks/8223667/webrev.01/index.html