| commit | 66be198ba9dec0bf8c3db8d2b41d8b731eb475b8 | [log] [tgz] |
|---|---|---|
| author | Jiakai Zhang <jiakaiz@google.com> | Thu Oct 19 22:34:26 2023 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Oct 19 22:34:26 2023 +0000 |
| tree | e2cf5731445faa2b4abe98c7a2a0895bf3fa9e57 | |
| parent | 7cd9b040fc68556b2e7eceeee9daffdabdfd40a1 [diff] | |
| parent | ff280d0e84e36046569023be5f55cf728e08c9cf [diff] |
Merge "Add the "--ignore-dexopt-profile" option." into main