Tim Starling has submitted this change and it was merged.

Change subject: Merge branch 'master' into debian
......................................................................


Merge branch 'master' into debian

Change-Id: I89ec40350d2d96fd09670e1fbffa826c2d53df20
---
0 files changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Tim Starling: Verified; Looks good to me, approved




-- 
To view, visit https://gerrit.wikimedia.org/r/324828
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I89ec40350d2d96fd09670e1fbffa826c2d53df20
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/services/html5depurate
Gerrit-Branch: debian
Gerrit-Owner: Tim Starling <tstarl...@wikimedia.org>
Gerrit-Reviewer: Tim Starling <tstarl...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to