bump to Coq 8.20

added 1 commit

• 675f024d - silence unfixable warnings

Compare with previous version

enabled an automatic merge when all merge checks for 675f024d pass

aborted the automatic merge because the source branch was updated. Learn more.

added 1 commit

• 28ccb3b5 - update warning comment

Compare with previous version

added 4 commits

• 58cc9816 - 1 commit from branch master
• bf974907 - bump to Coq 8.20
• be5787b3 - silence unfixable warnings
• 26aeece9 - update warning comment

Compare with previous version

enabled an automatic merge when all merge checks for 26aeece9 pass

aborted the automatic merge because the source branch was updated. Learn more.

added 1 commit

• 9943d6b5 - fix deprecation warning

Compare with previous version

enabled an automatic merge when all merge checks for 9943d6b5 pass

mentioned in commit 9db7517d

merged