On Fri, 8 Sep 2023 09:53:13 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
>> I will try it and raise another commit if that is required > > It would make sense to change the order, even if it works right now. This > would specify what option is being ignored more clearly. Hi Aleksey, release is working as well ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/15631#discussion_r1319652602