EBernhardson has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/391294 )
Change subject: Bump mjolnir submodule ...................................................................... Bump mjolnir submodule This brings in the patch that made working_dir configurable. We need that so the deployment to stat1005 is able to use the new configuration file. Change-Id: Ia73ba83edd1166412878008a32a09f36dd9a7572 --- M src 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: EBernhardson: Verified; Looks good to me, approved diff --git a/src b/src index 96337a0..0d7fdcf 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit 96337a0ab1931278f93b752ca3be5f30e8124762 +Subproject commit 0d7fdcf27b51b848a8c964f3c204f195c376dea5 -- To view, visit https://gerrit.wikimedia.org/r/391294 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia73ba83edd1166412878008a32a09f36dd9a7572 Gerrit-PatchSet: 1 Gerrit-Project: search/MjoLniR/deploy Gerrit-Branch: master Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org> Gerrit-Reviewer: EBernhardson <ebernhard...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
