tree 1929fd26e3cef6e4e896783a4b8b967d83ab2dbb
parent c7f0222df025d860dfe693529745c70f2b7c6255
author Søren Gjesse <sgjesse@google.com> 1613477448 +0100
committer Søren Gjesse <sgjesse@google.com> 1613477448 +0100

Add option to test.py to use desugared library from GitHub HEAD

Resolved conflict in tools/test.py.

Bug: 179896028
Change-Id: I7968308ae93398bc508ac1f9735d8a061287fd78