On Sat, 7 Jan 2023 08:29:26 GMT, Sergey Bylokhov <s...@openjdk.org> wrote:
> Just a curious, is it possible to release the jcov build on the related jcov > GitHub page? This would be a question to @lkuskov ------------- PR: https://git.openjdk.org/jdk/pull/11886