jenkins-bot has submitted this change and it was merged. Change subject: Updating wikimetrics submodule with fix for config directories in cloned repo ......................................................................
Updating wikimetrics submodule with fix for config directories in cloned repo Change-Id: I0867b72b57c8df90a6c90f1d3ec557fcc5e6e91f --- M puppet/modules/wikimetrics 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Ori.livneh: Looks good to me, approved jenkins-bot: Verified diff --git a/puppet/modules/wikimetrics b/puppet/modules/wikimetrics index 55e1e54..f3b1100 160000 --- a/puppet/modules/wikimetrics +++ b/puppet/modules/wikimetrics -Subproject commit 55e1e548c617a4df0dde99c72a65c55048da1fcb +Subproject commit f3b110023cead2c159585c3fcbdea0bcaa166357 -- To view, visit https://gerrit.wikimedia.org/r/110073 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0867b72b57c8df90a6c90f1d3ec557fcc5e6e91f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Ottomata <o...@wikimedia.org> Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
