Skip to content

Allow to store references and eventually delete them#110

Merged
make-github-pseudonymous-again merged 8 commits intomainfrom
feat-stable-refs
Apr 1, 2021