On Fri, 9 Oct 2020 15:39:18 GMT, Ludovic Henry <luhe...@openjdk.org> wrote:
> We made a typo in https://github.com/openjdk/jdk/pull/212 when updating > make/devkit/createWindowsDevkit2017.sh. Looks good to me. ------------- Marked as reviewed by thartmann (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/581
