diff --git a/doc/org/index.org b/doc/org/index.org index 72463b7b6..f676b8aa4 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -69,10 +69,10 @@ with]] Spot, you should distribute the source code of that tool as well. =spot-announce@lrde.epita.fr= is an extremely low-traffic and read-only mailing list for release announcements. If you want to stay -informed about future releases of Spot, we invite you to [[https://lists.lrde.epita.fr/listinfo/spot-announce][subscribe]]. +informed about future releases of Spot, we invite you to [[https://lists.lrde.epita.fr/postorius/lists/spot-announce.lrde.epita.fr/][subscribe]]. [[mailto:spot@lrde.epita.fr][=spot@lrde.epita.fr=]] is a list for general discussions and questions -about Spot. [[https://lists.lrde.epita.fr/listinfo/spot][Subscribe here]] if you want to join, but feel free to send +about Spot. [[https://lists.lrde.epita.fr/postorius/lists/spot.lrde.epita.fr/][Subscribe here]] if you want to join, but feel free to send in any question (in English) or bug report without subscribing. * Citing diff --git a/tests/python/bdditer.py b/tests/python/bdditer.py index ea701ac80..3d3bb7894 100644 --- a/tests/python/bdditer.py +++ b/tests/python/bdditer.py @@ -1,6 +1,6 @@ # -*- mode: python; coding: utf-8 -*- -# Copyright (C) 2017, 2018 Laboratoire de Recherche et Développement de l'Epita -# (LRDE). +# Copyright (C) 2017, 2018, 2021 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # @@ -19,8 +19,8 @@ # Tests different ways to explore a BDD label, as discussed in -# http://lists.lrde.epita.fr/pipermail/spot/2017q1/000117.html - +# https://lists.lrde.epita.fr/hyperkitty/list/spot@lrde.epita.fr/\ +# message/WIAOWDKKPXTTK6UBE3MAHDFWIT36EUMX/ import spot import buddy import sys