diff options
| author | Amith Yamasani <yamasani@google.com> | 2014-07-11 08:40:19 -0700 |
|---|---|---|
| committer | Amith Yamasani <yamasani@google.com> | 2014-07-11 08:41:52 -0700 |
| commit | 70fcf0c75fee68873a2f1abfe26c8afd669c51ba (patch) | |
| tree | 85ef03332acc1012ae42ada4ae77c167e4d29020 /tools/aapt2/diff/Diff.cpp | |
| parent | 4d8c132609c9a87d8e05cba65bf6832b38afd1ff (diff) | |
Fix apparent delay in removing a managed profile
Bug: 15268575
When returning the list of profiles, don't include dying users.
Change-Id: Ifeaed5c7c2b93922cddea22057dd890a1b3750fc
Diffstat (limited to 'tools/aapt2/diff/Diff.cpp')
0 files changed, 0 insertions, 0 deletions