[nongnu] elpa/proof-general ef18ee4d6f: * proof-general.el: Add the new maintainer email

[ELPA Syncer]

branch: elpa/proof-general
commit ef18ee4d6ffa160fe563307561f2cad12e9478b5
Author: Stefan Monnier <monnier@iro.umontreal.ca>
Commit: Stefan Monnier <monnier@iro.umontreal.ca>

    * proof-general.el: Add the new maintainer email
---
 proof-general.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/proof-general.el b/proof-general.el
index 06c62fe441..c1f4c9127f 100644
--- a/proof-general.el
+++ b/proof-general.el
@@ -3,13 +3,14 @@
 ;; This file is part of Proof General.
 
 ;; Portions © Copyright 1994-2012  David Aspinall and University of Edinburgh
-;; Portions © Copyright 2003-2021  Free Software Foundation, Inc.
+;; Portions © Copyright 2003-2022  Free Software Foundation, Inc.
 ;; Portions © Copyright 2001-2017  Pierre Courtieu
 ;; Portions © Copyright 2010, 2016  Erik Martin-Dorel
 ;; Portions © Copyright 2011-2013, 2016-2017  Hendrik Tews
 ;; Portions © Copyright 2015-2017  Clément Pit-Claudel
 
 ;; Authors: (see the AUTHORS file distributed along the sources)
+;; Maintainer: proof-general-maintainers@groupes.renater.fr
 ;; URL: https://proofgeneral.github.io/
 ;; Package-Requires: ((emacs "25.2"))
 ;; Version: 4.6-git