Skip to content

Opam: Use the 'user' option as the fork owner#480

Merged
Leonidas-from-XIV merged 3 commits intotarides:mainfrom Julow:fork-owner-confJan 19, 2024
+51-20

Commits

Commits on Jan 19, 2024