On Mon, 27 May 2024 15:37:34 GMT, Paul Sandoz <psandoz at openjdk.org> wrote: > If you merge with the tip the set will reduce further :-) Thanks. Merged now. ------------- PR Comment: https://git.openjdk.org/babylon/pull/97#issuecomment-2133746546