Skip to content

Fix error about -Wdeprecated-non-prototype#2161

Merged
mshinwell merged 1 commit intoocaml-flambda:mainfrom
mshinwell:fix-minus4-warning
Dec 14, 2023

Commits

Commits on Dec 14, 2023