From cfd93d768e79a349f1e762b92773190295c36980 Mon Sep 17 00:00:00 2001
From: Michał Górny <mgorny@gentoo.org>
Date: Sun, 24 Jan 2016 23:32:36 +0100
Subject: Replace all herds with appropriate projects (GLEP 67)

Replace all uses of herd with appropriate project maintainers, or no
maintainers in case of herds requested to be disbanded.
---
 sci-mathematics/isabelle/metadata.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'sci-mathematics/isabelle')

diff --git a/sci-mathematics/isabelle/metadata.xml b/sci-mathematics/isabelle/metadata.xml
index 986ebca59252..b357ed34b89a 100644
--- a/sci-mathematics/isabelle/metadata.xml
+++ b/sci-mathematics/isabelle/metadata.xml
@@ -4,7 +4,10 @@
 <maintainer>
   <email>gienah@gentoo.org</email>
 </maintainer>
-<herd>sci-mathematics</herd>
+<maintainer>
+  <email>sci-mathematics@gentoo.org</email>
+  <name>Gentoo Mathematics Project</name>
+</maintainer>
 <longdescription lang="en">
 Isabelle is a generic proof assistant. It allows mathematical
 formulas to be expressed in a formal language and provides tools
-- 
cgit v1.2.3-65-gdbad