Tim Starling has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/325426 )
Change subject: Merge branch 'master' into debian ...................................................................... Merge branch 'master' into debian Change-Id: I0f8e695b8d546c12e170cbdb11dfbe36410df581 --- 0 files changed, 0 insertions(+), 0 deletions(-) Approvals: Tim Starling: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/325426 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0f8e695b8d546c12e170cbdb11dfbe36410df581 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/html5depurate Gerrit-Branch: debian Gerrit-Owner: Tim Starling <[email protected]> Gerrit-Reviewer: Tim Starling <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
