[cvc4] 03/03: Change maintainer field to Debian Science Maintainers in debian/control

[Fabian Wolff]

This is an automated email from the git hooks/post-receive script.

fw-guest pushed a commit to branch master
in repository cvc4.

commit cd847feb2104198ab08b2957878196689d6e5076
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Mon Mar 27 18:25:41 2017 +0200

    Change maintainer field to Debian Science Maintainers in debian/control
---
 debian/control | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index eb45117..cd5a592 100644
--- a/debian/control
+++ b/debian/control
@@ -1,5 +1,6 @@
 Source: cvc4
-Maintainer: Fabian Wolff <fabi.wolff at arcor.de>
+Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
+Uploaders: Fabian Wolff <fabi.wolff at arcor.de>
 Section: math
 Priority: optional
 Build-Depends: debhelper (>= 9),

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/cvc4.git