[MediaWiki-commits] [Gerrit] mediawiki...html5depurate[debian-trusty]: Merge branch 'debian' into debian-trusty

2016-12-13 Thread Tim Starling (Code Review)
Tim Starling has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/325429 ) Change subject: Merge branch 'debian' into debian-trusty .. Merge branch 'debian' into debian-trusty Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...html5depurate[debian-trusty]: Merge branch 'debian' into debian-trusty

2016-12-05 Thread Tim Starling (Code Review)
Tim Starling has uploaded a new change for review. https://gerrit.wikimedia.org/r/325429 Change subject: Merge branch 'debian' into debian-trusty .. Merge branch 'debian' into debian-trusty Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...html5depurate[debian-trusty]: Merge branch 'debian' into debian-trusty

2016-12-01 Thread Tim Starling (Code Review)
Tim Starling has submitted this change and it was merged. Change subject: Merge branch 'debian' into debian-trusty .. Merge branch 'debian' into debian-trusty Change-Id: I9a2c3a4bdb3bf03eb821c53a4d1ec8c49a6efa11 --- M

[MediaWiki-commits] [Gerrit] mediawiki...html5depurate[debian-trusty]: Merge branch 'debian' into debian-trusty

2016-12-01 Thread Tim Starling (Code Review)
Tim Starling has uploaded a new change for review. https://gerrit.wikimedia.org/r/324830 Change subject: Merge branch 'debian' into debian-trusty .. Merge branch 'debian' into debian-trusty Change-Id: