commit | dd0ad5869c9f17c5bedffa1121fd4ff48799c02b | [log] [tgz] |
---|---|---|
author | TreeHugger Robot <treehugger-gerrit@google.com> | Mon Feb 06 13:46:23 2023 +0000 |
committer | Android (Google) Code Review <android-gerrit@google.com> | Mon Feb 06 13:46:23 2023 +0000 |
tree | ddd203003e018fc3116da30c3465ec67ad6c53f8 | |
parent | 7c6dfce856da61f40c370a39b27540623b29ea29 [diff] | |
parent | 8242d4354d2d0bd28d71a8e4b1edae7988242d33 [diff] |
Merge "Make device types part of the public API"