tree 35cd3cadd7bdf4bc8d7412602f6927f9c21a6534
parent cb0462d36ffaa96efbd5e2790386849a1b504edd
parent 22745f4c9ad0e5abc58fe9ff93e9952a601cc6c9
author Alexandra Gherghina <alexgherghina@google.com> 1402071292 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1402071293 +0000

Merge "Clean up deleted users in DevicePolicyManagerService"