tree f40e5b1cb0259732225d66be046364579a39e6a6
parent 1c115b5434acc5c9f8827308f3361cd648b5c55f
author Rico Wind <ricow@google.com> 1565781981 +0200
committer Rico Wind <ricow@google.com> 1565781981 +0200

Add desugar bot, enable triggering it with tools/trigger.py --desugar

Change-Id: Iaac47454f8c290ec25fa21d2a857f9091ae26e49