Skip to content

Merge pull request #792 from hendriktews/del-cont #746

Merge pull request #792 from hendriktews/del-cont

Merge pull request #792 from hendriktews/del-cont #746

Annotations

9 errors and 3 warnings

simple-tests (coq-8.20.0-emacs-28.2)

succeeded Oct 4, 2024 in 2m 55s