[MediaWiki-commits] [Gerrit] pywikibot/core[master]: [DOC] Remove deprecated option -time from script documentation

2017-08-09 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/364122 ) Change subject: [DOC] Remove deprecated option -time from script documentation .. [DOC] Remove deprecated option -time from scri

[MediaWiki-commits] [Gerrit] pywikibot/core[master]: [DOC] Remove deprecated option -time from script documentation

2017-07-09 Thread Xqt (Code Review)
Xqt has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/364122 ) Change subject: [DOC] Remove deprecated option -time from script documentation .. [DOC] Remove deprecated option -time from script documentation