User account should not be deleted if there are any entries on his/her name.
authorJoe <unknown>
Tue, 17 Jun 2014 16:51:58 +0000 (18:51 +0200)
committerJoe <unknown>
Tue, 17 Jun 2014 16:51:58 +0000 (18:51 +0200)
commitac225986becec853c5ade5d6464d69788f395817
tree4da34552d1265fd9fe44f8a961978ee32cbe2ea5
parentf6f02cc789c66c6807fb612ae02a6908f46e60f9
User account should not be deleted if there are any entries on his/her name.
admin/users.php