Merge "API: Add User-Agent to CORS allow list"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Dec 2018 20:27:03 +0000 (20:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Dec 2018 20:27:03 +0000 (20:27 +0000)
commita7ad3f7358ed6f3525d4f313970ccc8af95123f6
tree09b378bfb2e56c22cfbe00f63b69b03587dfa504
parent304703262e3772807c76409917102aef927cae3e
parenteb51c6364e9c12ace0733b8f1d7c0cf474e8b124
Merge "API: Add User-Agent to CORS allow list"