Please tag a release with Coq 8.19
I saw you had commits for Coq 8.19 support, but didn't tag a release yet.
I'm working on updating the Coq ecosystem in Debian with Coq 8.19, so I'd like an official release.
There's no hurry: there's a handful of packages still blocking anyway. This issue will help me track the progress.
Thanks,