Skip to content

Resolve "short names are hard to delete"

Hugo Buddelmeijer requested to merge 87-short-names-are-hard-to-delete into master

Closes #87 (closed)

Edited by Hugo Buddelmeijer

Merge request reports