svn commit: r379437 - head/math/isabelle

[Tilman Keskinoz]

Author: arved
Date: Fri Feb 20 15:42:44 2015
New Revision: 379437
URL: https://svnweb.freebsd.org/changeset/ports/379437
QAT: https://qat.redports.org/buildarchive/r379437/

Log:
  Drop Maintainership
  
  PR:		197402
  Submitted by:	Timothy Beyer

Modified:
  head/math/isabelle/Makefile

Modified: head/math/isabelle/Makefile
==============================================================================
--- head/math/isabelle/Makefile	Fri Feb 20 14:58:49 2015	(r379436)
+++ head/math/isabelle/Makefile	Fri Feb 20 15:42:44 2015	(r379437)
@@ -9,7 +9,7 @@ MASTER_SITES=	http://isabelle.in.tum.de/
 		http://mirror.cse.unsw.edu.au/pub/isabelle/dist/
 DISTNAME=	Isabelle2009-2
 
-MAINTAINER=	beyert at cs.ucr.edu
+MAINTAINER=	ports at FreeBSD.org
 COMMENT=	Generic proof assistant
 
 LICENSE=	BSD3CLAUSE