diff options
| author | Antoan Angelov <arangelov@google.com> | 2020-10-26 16:55:41 +0000 |
|---|---|---|
| committer | Antoan Angelov <arangelov@google.com> | 2020-10-26 16:59:42 +0000 |
| commit | f4a0efd1a0ec4a4f630140ee8070d19cc76db448 (patch) | |
| tree | 35af1dc902c12f13d3361575138be8cad5acba9d /rs/java/android/renderscript/ProgramStore.java | |
| parent | 7599f05ceff27c9a81195199f7befb6d15d45c3c (diff) | |
Revert "Revert "Add STATE_USER_PROFILE_FINALIZED as an additional user state""
This reverts commit 7599f05ceff27c9a81195199f7befb6d15d45c3c.
Reason for revert: This should be merged as part of the other pending ManagedProvisioning changes.
Bug: 161402545
Change-Id: I9ca9327540385db5b605a05ed6d0f8873cfa0de6
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions