On Thu, 15 Jul 2021 19:50:01 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote: > Add comment that `option_list` lists options in reverse order. So the first option we find is the last which was specified. Updated. Thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/4780