proof(SafeGit): DISCHARGE forbiddenRefCharsAnchor via Refl (proven#90)#102

hyperpolymath merged 2 commits into

mainhyperpolymath/proven:mainfrom

proof/safegit-forbidden-ref-chars-anchorhyperpolymath/proven:proof/safegit-forbidden-ref-chars-anchorCopy head branch name to clipboard