Skip to content

lint: add W74 to detect 'pin-depends' packages that are not present in 'depends' nor in 'depopts'#6317

Open
rjbou wants to merge 1 commit intoocaml:masterfrom rjbou:lint-pin-depends
+137

Commits