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)
commita8d422c77f8ad6f2626b5a8234169fa1de0d71cc
tree3bb22a245b0b386689fdcc51b963b53b2e1ba22a
parent238dbaa8f09c84474d1148148a5b04d3a756004f
parent1f92231f815c8c4ae03b97a0218b20f9e9cb2b7a
Merge "exception: Correct label "Notice" for E_USER_NOTICE, not "Warning""