On Fri, 5 Aug 2022 22:35:44 GMT, Leonid Kuskov <lkuskov at openjdk.org> wrote: > This is the fix for https://bugs.openjdk.org/browse/CODETOOLS-7903240 This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jcov/pull/20