feature: use diff rather (mode promote) for generating opam files#14108
Open
rgrinberg wants to merge 1 commit intoocaml:mainfrom
Open
feature: use diff rather (mode promote) for generating opam files#14108rgrinberg wants to merge 1 commit intoocaml:mainfrom
rgrinberg wants to merge 1 commit intoocaml:mainfrom
