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
