BBlack has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/385305 )
Change subject: Merge branch 'master' into debian ...................................................................... Merge branch 'master' into debian Change-Id: I746e2c2e9e442a1c16e374c3510aefac586a456c --- 0 files changed, 0 insertions(+), 0 deletions(-) Approvals: BBlack: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/385305 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I746e2c2e9e442a1c16e374c3510aefac586a456c Gerrit-PatchSet: 1 Gerrit-Project: operations/software/varnish/vhtcpd Gerrit-Branch: debian Gerrit-Owner: BBlack <bbl...@wikimedia.org> Gerrit-Reviewer: BBlack <bbl...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
