diff --git a/extension-ci-tools b/extension-ci-tools index 35caa19..00a4d1a 160000 --- a/extension-ci-tools +++ b/extension-ci-tools @@ -1 +1 @@ -Subproject commit 35caa192a33706de4308a9ad4078042ed4a762d7 +Subproject commit 00a4d1a464a0ebd30c7427396c0271105592d63b