On Tue, 12 Oct 2021 18:05:34 GMT, Marcus Hirt <hirt at openjdk.org> wrote: >> This patch fixes [JMC-7419](https://bugs.openjdk.java.net/browse/JMC-7419). >> Testing: `man verify` > > Marked as reviewed by hirt (Lead). @thegreystone Thank you for reviewing. ------------- PR: https://git.openjdk.java.net/jmc/pull/320