Skip to content

fix: use warning mechanism for duplicate deps warning#12986

Merged
rgrinberg merged 2 commits intoocaml:mainfrom
benodiwal:fix/duplicate-dependencies-warning
Dec 17, 2025
Merged

fix: use warning mechanism for duplicate deps warning#12986
rgrinberg merged 2 commits intoocaml:mainfrom
benodiwal:fix/duplicate-dependencies-warning

Commits

Commits on Dec 17, 2025