Can't delete users

During testing of current CVS code I noted that trying to delete a user has no effect. Whether it is a good idea to delete users is another question (see http://drupal.org/node/19055)...

in modules/user.module:user_edit(), when the admin clicks on the "Delete" button at the end of a user's page, this happens:

drupal_goto("user/$account->uid/delete");

Unfortunately, at least in my situation, the GET variable "destination" was set to "admin/user", so what drupal_goto() does is use this address rather than the parameter it receives. The net effect is that when you click Delete you end up on the user admin page again.

The obvious fix seems to unset() the destination, see enclosed patch.