commit: a786138ee2a5a4aef54f5b3b84347ce2e1603986 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue May 16 15:10:48 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Tue May 16 15:44:23 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a786138e
dev-ml/yojson: clean patch Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)
