[MediaWiki-commits] [Gerrit] adding a more appropriate user-agent - change (mediawiki...GWToolset)

2013-12-27 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: adding a more appropriate user-agent .. adding a more appropriate user-agent Bug: 58651 Change-Id: Ic4007507a7278be4d00228ced1e6d1e197faad27 --- M GWTools

[MediaWiki-commits] [Gerrit] adding a more appropriate user-agent - change (mediawiki...GWToolset)

2013-12-24 Thread Dan-nl (Code Review)
Dan-nl has uploaded a new change for review. https://gerrit.wikimedia.org/r/103561 Change subject: adding a more appropriate user-agent .. adding a more appropriate user-agent Bug: 58651 Change-Id: Ic4007507a7278be4d00228ced