commit | 20b716bfc667d80882c6df80cd6cf752ebe407b8 | [log] [tgz] |
---|---|---|
author | Jason Monk <jmonk@google.com> | Thu Jul 10 23:47:50 2014 +0000 |
committer | Android (Google) Code Review <android-gerrit@google.com> | Thu Jul 10 21:21:20 2014 +0000 |
tree | 7425712007bfc172472663c270374ece2e846815 | |
parent | 244911f9769946249aad1e0ed7187f2cb1d01831 [diff] | |
parent | 582d9111d76632027fed7af10d05d4b44df16c0c [diff] |
Merge "Add API for device owner to switch users"