On Tue, 6 Sep 2022 10:37:08 GMT, Jiří Vaněk <jvanek at openjdk.org> wrote: > See initial story at: https://github.com/openjdk/asmtools/pull/37 I'm OK with the fix. ------------- PR: https://git.openjdk.org/asmtools/pull/42