diff options
author | Antoan Angelov <arangelov@google.com> | 2020-10-26 13:34:28 +0000 |
---|---|---|
committer | Antoan Angelov <arangelov@google.com> | 2020-10-26 13:35:53 +0000 |
commit | 7599f05ceff27c9a81195199f7befb6d15d45c3c (patch) | |
tree | 7caeccc582664b6cf3974a9a78817a57035ee85f /rs/java/android/renderscript/ProgramStore.java | |
parent | c0006519991a33339c22cfeef1a006a71c8a720d (diff) |
Revert "Add STATE_USER_PROFILE_FINALIZED as an additional user state"
This reverts commit c0006519991a33339c22cfeef1a006a71c8a720d.
Reason for revert: This should be merged at the same time as the other feature CLs, otherwise the updated check will break without the not-yet-merged ManagedProvisioning changes
Change-Id: I54dec27a303d49f5b33230f001d041c05368be29
Fixes: 171674106
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions