Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
git subrepo push vendor/ppx_deriving_jsont
subrepo: subdir: "vendor/ppx_deriving_jsont" merged: "eaa270d" upstream: origin: "https://github.com/voodoos/ppx_deriving_jsont" branch: "ocmx" commit: "eaa270d" git-subrepo: version: "0.4.9" origin: "https://github.com/ingydotnet/git-subrepo" commit: "ea10886"
- Loading branch information