Skip to content
Snippets Groups Projects
Commit d6ba38c3 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'coq_19059' into 'master' 

Prepare for https://github.com/coq/coq/pull/19059

See merge request !554
parents 3c8baa66 f5854915
No related branches found
No related tags found
Checking pipeline status