Skip to content
Snippets Groups Projects

Get rid of future-coercion-class-field warnings

Passed
Pierre Roux created pipeline for commit bba50f73
, finished
Related merge request !1030 to merge coq_18224
merge request
2 jobs 19 minutes 44 seconds, queued for 3 seconds