[pkgsrc/trunk]: pkgsrc/lang/coq take MAINTAINER, ok jaapb@

[dholland <dholland%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/0d0ae5ba83d7
branches:  trunk
changeset: 446499:0d0ae5ba83d7
user:      dholland <dholland%pkgsrc.org@localhost>
date:      Tue Feb 09 22:38:30 2021 +0000

description:
take MAINTAINER, ok jaapb@

diffstat:

 lang/coq/Makefile |  4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diffs (18 lines):

diff -r 8e3527ac295a -r 0d0ae5ba83d7 lang/coq/Makefile
--- a/lang/coq/Makefile Tue Feb 09 22:37:43 2021 +0000
+++ b/lang/coq/Makefile Tue Feb 09 22:38:30 2021 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.137 2021/02/09 22:37:43 dholland Exp $
+# $NetBSD: Makefile,v 1.138 2021/02/09 22:38:30 dholland Exp $
 #
 
 DISTNAME=      coq-8.12.2
@@ -6,7 +6,7 @@
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=coq/}
 GITHUB_TAG=    V${PKGVERSION_NOREV:S/_/+/}
 
-MAINTAINER=    jaapb%NetBSD.org@localhost
+MAINTAINER=    dholland%NetBSD.org@localhost
 HOMEPAGE=      https://coq.inria.fr/
 COMMENT=       Theorem prover which extracts programs from proofs
 LICENSE=       gnu-lgpl-v2.1