gerritbot added a comment.
Change 868788 **merged** by jenkins-bot:
[pywikibot/core@master] [Docs] Highlight WbTime examples
https://gerrit.wikimedia.org/r/868788
TASK DETAIL
https://phabricator.wikimedia.org/T325444
EMAIL PREFERENCES
gerritbot added a comment.
Change 868788 had a related patch set uploaded (by RPI2026F1; author:
RPI2026F1):
[pywikibot/core@master] [Docs] Highlight WbTime examples
https://gerrit.wikimedia.org/r/868788
TASK DETAIL
https://phabricator.wikimedia.org/T325444
EMAIL PREFERENCES