tree 159af6ae6fc7a2878fc7efcc47731aadaf4381b0
parent 9102f5d953fbde03e12f385b2225004edc43d202
author Paul Crowley <paulcrowley@google.com> 1432035720 +0100
committer Paul Crowley <paulcrowley@google.com> 1432309835 +0100

Delete the user key when deleting a user.

BUG=19706593

Change-Id: I36ec1b987f5a07450c6a564c74f124ec8d3403ad