Giuseppe Lavagetto has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/391568 )
Change subject: Updated docker-pkg to the latest version in master ...................................................................... Updated docker-pkg to the latest version in master Change-Id: I21774979eca72480d2bf5f7f2402654c997e1ea8 --- M artifacts/artifacts.jessie.tar.gz M artifacts/artifacts.stretch.tar.gz M src 3 files changed, 1 insertion(+), 1 deletion(-) Approvals: Giuseppe Lavagetto: Verified; Looks good to me, approved diff --git a/artifacts/artifacts.jessie.tar.gz b/artifacts/artifacts.jessie.tar.gz index 2cc33dc..1942cc7 100644 --- a/artifacts/artifacts.jessie.tar.gz +++ b/artifacts/artifacts.jessie.tar.gz Binary files differ diff --git a/artifacts/artifacts.stretch.tar.gz b/artifacts/artifacts.stretch.tar.gz index b649342..5adfb68 100644 --- a/artifacts/artifacts.stretch.tar.gz +++ b/artifacts/artifacts.stretch.tar.gz Binary files differ diff --git a/src b/src index 287b719..f054fbe 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit 287b719daedefa16bf04439c324aee44adacbade +Subproject commit f054fbe5f74a0e3c0a6d753ba5d5f9e05b6cd4dc -- To view, visit https://gerrit.wikimedia.org/r/391568 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I21774979eca72480d2bf5f7f2402654c997e1ea8 Gerrit-PatchSet: 1 Gerrit-Project: operations/docker-images/docker-pkg/deploy Gerrit-Branch: master Gerrit-Owner: Giuseppe Lavagetto <[email protected]> Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
