gerritbot added a comment.
Change 510835 **merged** by jenkins-bot:
[mediawiki/extensions/Wikibase@master] termbox: use latest
https://gerrit.wikimedia.org/r/510835
TASK DETAIL
https://phabricator.wikimedia.org/T223437
EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/pa
gerritbot added a comment.
Change 510835 had a related patch set uploaded (by Pablo Grass (WMDE); owner:
Pablo Grass (WMDE)):
[mediawiki/extensions/Wikibase@master] termbox: use latest
https://gerrit.wikimedia.org/r/510835
TASK DETAIL
https://phabricator.wikimedia.org/T223437
EMAIL
gerritbot added a comment.
Change 510741 **merged** by jenkins-bot:
[wikibase/termbox@master] AnonEditWarning: work at 320px wide screens
https://gerrit.wikimedia.org/r/510741
TASK DETAIL
https://phabricator.wikimedia.org/T223437
EMAIL PREFERENCES
https://phabricator.wikimedia.org/
gerritbot added a comment.
Change 510741 had a related patch set uploaded (by Pablo Grass (WMDE); owner:
Pablo Grass (WMDE)):
[wikibase/termbox@master] AnonEditWarning: work at 320px wide screens
https://gerrit.wikimedia.org/r/510741
TASK DETAIL
https://phabricator.wikimedia.org/T223