Closed chris18890 closed 6 years ago
minor tidyup of user deletions
will merge at the end of the week if there are no objections @ramgarden @elplatt
minor tidyup of user deletions