Skip to content

Comments

Fix/good error msg pkg enabled#12802

Merged
Alizter merged 8 commits intoocaml:mainfrom
benodiwal:fix/good-error-msg-pkg-enabled
Dec 1, 2025
Merged

Fix/good error msg pkg enabled#12802
Alizter merged 8 commits intoocaml:mainfrom
benodiwal:fix/good-error-msg-pkg-enabled

Commits

Commits on Dec 1, 2025