Merge "exception: Correct label "Notice" for E_USER_NOTICE, not "Warning""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 13 Oct 2018 00:58:16 +0000 (00:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 13 Oct 2018 00:58:16 +0000 (00:58 +0000)

Trivial merge