V8.18+rc1 protected

Enrico

@gares-gl

94523eef · Merge PR #17919: [release] bump version to 8.18+rc1 · Aug 03, 2023

First release candidate for Coq 8.18.0.