gerritbot added a comment.
Change #1020869 **merged** by jenkins-bot:
[pywikibot/core@master] [doc] Fix user-config.py filename
https://gerrit.wikimedia.org/r/1020869
TASK DETAIL
https://phabricator.wikimedia.org/T362673
EMAIL PREFERENCES
gerritbot added a comment.
Change #1020869 had a related patch set uploaded (by Xqt; author: Xqt):
[pywikibot/core@master] [doc] Fix user-config.py filename
https://gerrit.wikimedia.org/r/1020869
TASK DETAIL
https://phabricator.wikimedia.org/T362673
EMAIL PREFERENCES