chore: get latest version of verso#228

david-christiansen merged 2 commits into

leanprover:masterleanprover/fp-lean:masterfrom

robsimmons:redeploy-fix-canonical-linksrobsimmons/fp-lean:redeploy-fix-canonical-linksCopy head branch name to clipboard