On Wed, 26 Jul 2023 14:15:25 GMT, Christoph Langer <clan...@openjdk.org> wrote:
> OTOH, this cleanup could be done in another PR. For now, the code as it is > would be ok, too. I agree, let's do the flags / macro adjustment in another issue. Andreas, I can open one for you if you want. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15036#issuecomment-1651903703