Skip to content

Fix #12638.

6b1f6b8
Select commit
Loading
Failed to load commit list.
Merged

Coq/Rocq: fix handling of (modules_flags ...). #12733

Fix #12638.
6b1f6b8
Select commit
Loading
Failed to load commit list.