tree 7652276c4d897d719038668a09e912f1899aa11e
parent 7e9873596240d7277204a40aefb204a13a0df2c1
author Bruno Martins <bgcngm@gmail.com> 1606236150 +0000
committer Bruno Martins <bgcngm@gmail.com> 1606236610 +0200

Switch to our fork of art

The change needed for infra has been already merged.

Change-Id: I709d5cd3afde14388fa0a7eedb0e14d76965f51e