Merge "HISTORY: Add MediaWiki 1.2 post-release change notes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 Mar 2019 23:35:11 +0000 (23:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Mar 2019 23:35:11 +0000 (23:35 +0000)
commitc66e5bd900d6c486525a72433678033b1ff14064
tree4dccc92f772eec78aa39c0c7579b0f83aa23aff6
parenta2e576ca747e99b687d23ff248511b513a426dcb
parenta318923bf552254bfb80d544b8cacbde18fcee21
Merge "HISTORY: Add MediaWiki 1.2 post-release change notes"