[MediaWiki-commits] [Gerrit] Add files with no coverage at all to the coverage report as ... - change (mediawiki...WikibaseQuery)
jenkins-bot has submitted this change and it was merged. Change subject: Add files with no coverage at all to the coverage report as well .. Add files with no coverage at all to the coverage report as well Change-Id:
[MediaWiki-commits] [Gerrit] Add files with no coverage at all to the coverage report as ... - change (mediawiki...WikibaseQuery)
Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/80423 Change subject: Add files with no coverage at all to the coverage report as well .. Add files with no coverage at all to the coverage