| commit | 7ec733fad39ff9e439a67c9cf51b88bc84cdfda0 | [log] [tgz] |
|---|---|---|
| author | Paul Crowley <paulcrowley@google.com> | Tue May 19 12:42:00 2015 +0100 |
| committer | Paul Crowley <paulcrowley@google.com> | Thu Jul 09 17:58:49 2015 +0100 |
| tree | e61af161ce949fb4beb4b4ab4f54f7616a4aa6e8 | |
| parent | bcf48ed2262d655ebf59153dea645ca761b73db5 [diff] |
Delete the user key when deleting a user. Bug: 19706593 (cherry-picked from commit 85e4e818d83dbc65b1e6e3ed9d39c656188acaec) Change-Id: Icc6d53a99558317b2ec154f931e481ad9fe64aa3