gerritbot added a comment.
Change 507919 **merged** by jenkins-bot:
[wikibase/termbox@master] Introduce ConfigMixin
https://gerrit.wikimedia.org/r/507919
TASK DETAIL
https://phabricator.wikimedia.org/T222165
EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpr
gerritbot added a comment.
Change 507919 had a related patch set uploaded (by Matthias Geisler; owner:
Matthias Geisler):
[wikibase/termbox@master] Introduce ConfigMixin
https://gerrit.wikimedia.org/r/507919
TASK DETAIL
https://phabricator.wikimedia.org/T222165
EMAIL PREFERENCES
h