Merge "Remove unnecessary placeholders from RELEASE-NOTES"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 22 Jan 2019 01:05:33 +0000 (01:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 Jan 2019 01:05:33 +0000 (01:05 +0000)
commit2fabe2b8801a01ed56cfa8fad4fa20075ae8c3a3
treea24a58659dad449d614e63d9db0bea7b94e593c4
parent6e840bcfd4542a0873f8ec878472f71859009b4f
parenta8bab5c8649e1e444729bdc3a6c28c8f06212238
Merge "Remove unnecessary placeholders from RELEASE-NOTES"