From: Eric S. Raymond Date: Thu, 9 Mar 2023 03:55:12 +0000 (-0500) Subject: Complete fix of GitLab issue #64: Coverage summary looks wrong X-Git-Tag: 1.14~3 X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=f53476f82624231425cf381906952ecabbdb52d7;hp=f53476f82624231425cf381906952ecabbdb52d7;p=open-adventure.git Complete fix of GitLab issue #64: Coverage summary looks wrong ---