On Thu, 11 Jan 2024 13:54:01 GMT, Christoph Langer <clan...@openjdk.org> wrote:
> Makes sense. It's the same pattern. I adjusted the second GREP too and removed the` if test` . ------------- PR Comment: https://git.openjdk.org/jdk/pull/17301#issuecomment-1887318284
