Build #22081318379:   fix coverage percentage counting examples on branch master about 2 months ago