[MediaWiki-commits] [Gerrit] Update OOjs to v1.1.5 - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Update OOjs to v1.1.5 .. Update OOjs to v1.1.5 Release notes: https://git.wikimedia.org/blob/oojs%2Fcore.git/v1.1.5/History.md Change-Id: If43d0b4704f95
[MediaWiki-commits] [Gerrit] Update OOjs to v1.1.5 - change (mediawiki/core)
Jforrester has uploaded a new change for review. https://gerrit.wikimedia.org/r/193031 Change subject: Update OOjs to v1.1.5 .. Update OOjs to v1.1.5 Release notes: https://git.wikimedia.org/blob/oojs%2Fcore.git/v1.1.5/Histo