Release 0.19.0#433

philipc merged 4 commits intogimli-rs:mastergimli-rs/gimli:masterfrom

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