From 3eb3ea9bc18adf028abfe51d11436c3777202f8c Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 14 Jul 2023 16:37:36 +0100 Subject: gentoo auto-resync : 14:07:2023 - 16:37:36 --- dev-util/clippy/metadata.xml | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'dev-util/clippy/metadata.xml') diff --git a/dev-util/clippy/metadata.xml b/dev-util/clippy/metadata.xml index f2546101a536..4432e2729d7d 100644 --- a/dev-util/clippy/metadata.xml +++ b/dev-util/clippy/metadata.xml @@ -1,10 +1,22 @@ + + Alarig Le Lay + alarig@swordarmor.fr + jsmolic@gentoo.org Jakov Smolić + + jaco@uls.co.za + Jaco Kroon + + + proxy-maint@gentoo.org + Proxy Maintainers + FRRouting/frr -- cgit v1.2.3