From cc4618c9ba3d974948ebf340b542d8cb01db2f55 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Thu, 16 Sep 2021 22:05:01 +0100 Subject: gentoo resync : 16.09.2021 --- dev-ml/ppx_tools/metadata.xml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'dev-ml/ppx_tools/metadata.xml') diff --git a/dev-ml/ppx_tools/metadata.xml b/dev-ml/ppx_tools/metadata.xml index 5631f770f367..3bce000f5f82 100644 --- a/dev-ml/ppx_tools/metadata.xml +++ b/dev-ml/ppx_tools/metadata.xml @@ -1,6 +1,10 @@ - + + + ml@gentoo.org + ML + gienah@gentoo.org Mark Wright -- cgit v1.2.3