gerritbot added a comment.
Change 203034 merged by jenkins-bot:
Set DrySite Wiktionary case='case-sensitive'
https://gerrit.wikimedia.org/r/203034
TASK DETAIL
https://phabricator.wikimedia.org/T95499
REPLY HANDLER ACTIONS
Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign
<username>.
EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: gerritbot
Cc: gerritbot, jayvdb, Aklapper, pywikipedia-bugs