Release 0.31.1#753

philipc merged 1 commit intogimli-rs:mastergimli-rs/gimli:masterfrom

philipc:releasephilipc/gimli:releaseCopy head branch name to clipboard