From c4507bfdfd706b2b1301972490fe88ac3ddbc70e Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Tue, 16 May 2023 22:07:44 +0100 Subject: gentoo auto-resync : 16:05:2023 - 22:07:44 --- dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-ml/yojson/files') diff --git a/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch index e4783220b822..c94933291f30 100644 --- a/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch +++ b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch @@ -1,5 +1,5 @@ --- a/lib/dune -+++ b/lib/dune_ ++++ b/lib/dune @@ -34,5 +34,4 @@ (public_name yojson) (modules yojson) -- cgit v1.2.3