fix: use warning mechanism for duplicate deps warning#12986
Merged
rgrinberg merged 2 commits intoocaml:mainfrom Dec 17, 2025
Merged
fix: use warning mechanism for duplicate deps warning#12986rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg merged 2 commits intoocaml:mainfrom