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

Reply via email to