summaryrefslogtreecommitdiff
path: root/.github/for_maintainers/new_gudhi_version_creation.md
diff options
context:
space:
mode:
authorVincent Rouvreau <vincent.rouvreau@inria.fr>2021-11-02 10:53:05 +0100
committerVincent Rouvreau <vincent.rouvreau@inria.fr>2021-11-02 10:53:05 +0100
commit003abb66b7c657356328bc24306e2c5aef02b1d4 (patch)
tree0530c8987c824da79ecddd22485f143831a4c71f /.github/for_maintainers/new_gudhi_version_creation.md
parentb1f604312adb6a9240f8e8b7effcd4bd7251e82b (diff)
parent8adb46d8a54f1a0dd71ea686473cc4ca9f5d2f67 (diff)
Merge master and fix conflicts
Diffstat (limited to '.github/for_maintainers/new_gudhi_version_creation.md')
-rw-r--r--.github/for_maintainers/new_gudhi_version_creation.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/for_maintainers/new_gudhi_version_creation.md b/.github/for_maintainers/new_gudhi_version_creation.md
index d6c4cdd3..3e5295c5 100644
--- a/.github/for_maintainers/new_gudhi_version_creation.md
+++ b/.github/for_maintainers/new_gudhi_version_creation.md
@@ -128,5 +128,5 @@ docker image on docker hub.
## Mail sending
Send version mail to the following lists :
-* gudhi-devel@lists.gforge.inria.fr
-* gudhi-users@lists.gforge.inria.fr (not for release candidate)
+* gudhi-devel@inria.fr
+* gudhi-users@inria.fr (not for release candidate)