From f38a5509749f89eb60ddd0b3770bbd6b659fc765 Mon Sep 17 00:00:00 2001 From: Bruno Martins Date: Tue, 24 Nov 2020 16:42:30 +0000 Subject: [PATCH] Switch to our fork of art The change needed for infra has been already merged. Change-Id: I709d5cd3afde14388fa0a7eedb0e14d76965f51e --- default.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/default.xml b/default.xml index 0193409b..16b81e2e 100644 --- a/default.xml +++ b/default.xml @@ -34,7 +34,7 @@ - +