diff --git a/vendor/ppx_deriving_jsont/.gitrepo b/vendor/ppx_deriving_jsont/.gitrepo index db4567a..64aed85 100644 --- a/vendor/ppx_deriving_jsont/.gitrepo +++ b/vendor/ppx_deriving_jsont/.gitrepo @@ -6,6 +6,7 @@ [subrepo] remote = https://github.com/voodoos/ppx_deriving_jsont branch = ocmx - commit = + commit = eaa270d6e4b4dfb2b0ebfd3f1a1787a596c277e4 method = merge cmdver = 0.4.9 + parent = 1769e63a8325c08f4cf9a37e7dce84e49aedd20e