From 01b2212ddd17c26882ffc88cf62aceea87d95519 Mon Sep 17 00:00:00 2001 From: beppe Date: Tue, 17 Mar 2020 21:32:10 +0100 Subject: [PATCH] update submodule --- infra | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infra b/infra index 9cc56f3..6b62b0f 160000 --- a/infra +++ b/infra @@ -1 +1 @@ -Subproject commit 9cc56f398d5e12c45c75e05176cbc0d58dcede88 +Subproject commit 6b62b0f3ef5e2f24ceb19c0add50fef634f32019