Skip to content

make v0.16 usable with js_of_ocaml GPR 1601#58

Merged
dkalinichenko-js merged 1 commit intojanestreet:v0.16from
hhugo:016-jsoo
Dec 10, 2024
Merged

make v0.16 usable with js_of_ocaml GPR 1601#58
dkalinichenko-js merged 1 commit intojanestreet:v0.16from
hhugo:016-jsoo

Commits

Commits on Dec 9, 2024