From 6dd709714865937421fb3e494313d9bda4e88749 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 13 Dec 2021 10:00:51 +0100 Subject: [PATCH] org: update mailman urls * doc/org/index.org, tests/python/bdditer.py: Here. --- doc/org/index.org | 4 ++-- tests/python/bdditer.py | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-) 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