Skip to content

Package lens.1.2.5: Migration to ppxlib#18575

Merged
kit-ty-kate merged 5 commits intoocaml:masterfrom
pdonadeo:master
Apr 26, 2021
Merged

Package lens.1.2.5: Migration to ppxlib#18575
kit-ty-kate merged 5 commits intoocaml:masterfrom
pdonadeo:master

Commits

Commits on Apr 25, 2021

Commits on Apr 26, 2021