From a08982930c1024d0b202291c0fbaa04d02889f6a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= <thevoodoos@gmail.com>
Date: Sun, 8 Dec 2024 21:03:31 +0100
Subject: [PATCH] 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"
---
 vendor/ppx_deriving_jsont/.gitrepo | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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