tree 923caa145076094e689c49716f77fa2d79120af5
parent 1a8ed9be2e2b56b32e888266d6db465d36012df4
author Renato Mangini Dias <mangini@google.com> 1597862110 +0000
committer Mahesh Saripalli <maheshsr@google.com> 1597862110 +0000

Deprecate obsolete repository

Change-Id: I08c42b7e6b35a572b5ffe83539d7002f8b731149
Reviewed-on: https://fuchsia-review.googlesource.com/c/tonic/+/418856
Reviewed-by: Mahesh Saripalli <maheshsr@google.com>