On Tue, 13 Feb 2024 14:50:42 GMT, Stefan Karlsson <stefank at openjdk.org> wrote: > Maybe that could be done as a separate cleanup? Sure. Thanks for review. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17830#issuecomment-1941706059