Release 0.31.0#736

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

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