[WIP] Deprecate the ppx_deriving API in favour of ppxlib#250

Draft

kit-ty-kate wants to merge 1 commit intoocaml-ppx:masterfrom kit-ty-kate:deprecate-api

+4

Commits on Feb 2, 2021

WIP: Deprecate the ppx_deriving API in favour of ppxlib
kit-ty-kate
committed