Merge "Update RELEASE-NOTES" into REL1_31
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 Nov 2019 18:21:05 +0000 (18:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 Nov 2019 18:21:05 +0000 (18:21 +0000)
commit8af9c78c85b532743421507bc02b1c0d21757116
treed3f10644baa6264cfc6861c7f7f0e12bf7ad4c20
parent4d8248ff97278627902974bd1726c6a3c0a70f50
parente39a91edf9b4759aa82924503bf1f0f137dd3107
Merge "Update RELEASE-NOTES" into REL1_31