-
Improvement
-
Resolution: Fixed
-
Normal
-
None
-
None
In the admin IP lookup tool, there’s a link to delete editors straight from the lookup. This link is always there though, even if the editor is already deleted. See e.g., https://musicbrainz.org/admin/ip-lookup/212d9193ed56bab8a080ab9f27267ef7