move things out of the doc to make it a proposer User Manual#951
Merged
redianthus merged 1 commit intoOCamlPro:mainfrom Apr 7, 2026
Merged
move things out of the doc to make it a proposer User Manual#951redianthus merged 1 commit intoOCamlPro:mainfrom
redianthus merged 1 commit intoOCamlPro:mainfrom
