[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Update AUTHORS.txt

2017-09-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/378839 ) Change subject: Update AUTHORS.txt .. Update AUTHORS.txt Change-Id: Ifbd66135a8e91a910d5ea6554c56f0d6f75a089c --- M .mailmap M

[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Update AUTHORS.txt

2017-09-18 Thread BryanDavis (Code Review)
BryanDavis has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/378839 ) Change subject: Update AUTHORS.txt .. Update AUTHORS.txt Change-Id: Ifbd66135a8e91a910d5ea6554c56f0d6f75a089c --- M AUTHORS.txt 1 file

[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Update AUTHORS.txt

2017-04-10 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/344170 ) Change subject: Update AUTHORS.txt .. Update AUTHORS.txt Change-Id: I3a046405e5f0bfc38b677fc59f5b0e3d9876bf4c --- M .mailmap M

[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Update AUTHORS.txt

2017-03-22 Thread BryanDavis (Code Review)
BryanDavis has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/344170 ) Change subject: Update AUTHORS.txt .. Update AUTHORS.txt Change-Id: I3a046405e5f0bfc38b677fc59f5b0e3d9876bf4c --- M .mailmap M

[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Update AUTHORS.txt

2016-11-02 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Update AUTHORS.txt .. Update AUTHORS.txt Change-Id: I1e642dc909642022fd41e2447e5f8f67ffe62719 --- M .mailmap M AUTHORS.txt 2 files changed, 18

[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Update AUTHORS.txt

2016-10-15 Thread BryanDavis (Code Review)
BryanDavis has uploaded a new change for review. https://gerrit.wikimedia.org/r/316077 Change subject: Update AUTHORS.txt .. Update AUTHORS.txt Change-Id: I1e642dc909642022fd41e2447e5f8f67ffe62719 --- M .mailmap M