Thanks for the patch. The correct forum is [email protected], 
which I have CCed.

Brian

On May 7, 2017, at 5:16 PM, Isaac Levy <[email protected]> wrote:

> Apologies if this is the wrong forum, I'm new to the OpenJDK project.

Reply via email to