[MediaWiki-commits] [Gerrit] Fix version number and headers in release notes - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Fix version number and headers in release notes .. Fix version number and headers in release notes Change-Id: I38d9bd1cb54463613e761989cadbaa5a09f6f3bc
[MediaWiki-commits] [Gerrit] Fix version number and headers in release notes - change (mediawiki/core)
Lewis Cawte has uploaded a new change for review. https://gerrit.wikimedia.org/r/219460 Change subject: Fix version number and headers in release notes .. Fix version number and headers in release notes Change-Id: