| commit | dcc15f09715287115bce1b24b391e3589355bd2a | [log] [tgz] |
|---|---|---|
| author | Jiakai Zhang <jiakaiz@google.com> | Thu Oct 19 20:15:37 2023 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Thu Oct 19 20:15:37 2023 +0000 |
| tree | 641c001f213ed5b66e9ad3939023e50a9d922527 | |
| parent | a552e98a7150de13b8b18def3c85cbdc69a0dfc1 [diff] | |
| parent | f8d2e606c144a9bbed44d03f0cc67de2b3fd859a [diff] |
Merge "Add the "--ignore-dexopt-profile" option." into main