| commit | f38a5509749f89eb60ddd0b3770bbd6b659fc765 | [log] [tgz] |
|---|---|---|
| author | Bruno Martins <bgcngm@gmail.com> | Tue Nov 24 16:42:30 2020 +0000 |
| committer | Bruno Martins <bgcngm@gmail.com> | Tue Nov 24 18:50:10 2020 +0200 |
| tree | 7652276c4d897d719038668a09e912f1899aa11e | |
| parent | 7e9873596240d7277204a40aefb204a13a0df2c1 [diff] |
Switch to our fork of art The change needed for infra has been already merged. Change-Id: I709d5cd3afde14388fa0a7eedb0e14d76965f51e