https://bugzilla.wikimedia.org/show_bug.cgi?id=70754
--- Comment #2 from Gerrit Notification Bot <gerritadmin(a)wikimedia.org> ---
Change 159968 merged by jenkins-bot:
Raise exception on unknown MediaWiki exception
https://gerrit.wikimedia.org/r/159968
--
You are receiving this mail because:
You are the assignee for the bug.