Retirement of the mailing list

[Markus Frohme]

Dear all,


I would like to announce that we are retiring the LearnLib Discussion
mailing list in favor of Github's "Discussion" page
(https://github.com/LearnLib/learnlib/discussions). While this mailing
list will continue to exist (and people may still read it), it will no
longer be actively maintained by the LearnLib team and we encourage
users to hold future discussions at the new discussions page.


Kind regards,
Markus