Update version numbers etc for v1.13.1 release#854

wilfwilson merged 1 commit into

stable-1.13digraphs/Digraphs:stable-1.13from

rc-v1.13.1digraphs/Digraphs:rc-v1.13.1Copy head branch name to clipboard