On Fri, 29 Oct 2021 10:38:41 GMT, Ivan Šipka <isi...@openjdk.org> wrote:
>> cc @ctornqvi > > Ivan Šipka has updated the pull request incrementally with one additional > commit since the last revision: > > removed file added by accident Thanks for the clarification, David. I guess my recollection of jtreg code isn’t as good as I thought, and `-` isn’t mandatory, though this means there is a (theoretically possible) ambiguity, e.g. `{os=windows; version=11}` vs `{os=windows1; version=1}` ------------- PR: https://git.openjdk.java.net/jdk/pull/6025