tree addc773d83300c452c60ec860e8900dbc139eebc
parent eb53fb7fb14e1270fb9b634357dbe1b23590a8c4
author Søren Gjesse <sgjesse@google.com> 1652878969 +0200
committer Søren Gjesse <sgjesse@google.com> 1652878969 +0200

Fix desugared library 1.2.0

- Fix warning in api 23-28
- Update minAPI for library desugaring to 10000
  since we now know some APIs were never introduced.

Bug: b/231927212
Change-Id: I598d404a597e34fae7976500e8b2e0c18f64b28f