On Mon, 5 Aug 2024 13:44:28 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> Zdenek Zambersky has updated the pull request incrementally with one >> additional commit since the last revision: >> >> reintroduce -s flag > > Great, thanks! The build system does not need a secondary review so you are > free to integrate. @magicus thanks ------------- PR Comment: https://git.openjdk.org/jdk/pull/20281#issuecomment-2269120646