No matches were found for subject:"\[MediaWiki\-commits\] \[Gerrit\] mediawiki...MobileFrontend\[master\]\: Remove border\-bottom from section headings in print mode"