[MediaWiki-commits] [Gerrit] Add files with no coverage at all to the coverage report as ... - change (mediawiki...WikibaseQueryEngine)

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...WikibaseQueryEngine)

Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/80948 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