Skip to content
Merged

Drop ppx deriving#50
paurkedal merged 3 commits intopaurkedal:masterfrom ulrikstrid:drop-ppx_deriving

Drop ppx deriving#50

Merged
paurkedal merged 3 commits intopaurkedal:masterfrom ulrikstrid:drop-ppx_derivingOct 17, 2020

Commits

Commits on Oct 12, 2020

Commits on Oct 17, 2020