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