Skip to content

Conversation

kwin
Copy link
Contributor

@kwin kwin commented Nov 5, 2022

This closes #125

@kwin kwin merged commit 2a37f7e into master Nov 15, 2022
@kwin kwin deleted the bugfix/mailing-list branch November 18, 2022 10:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Fix links to mailing lists
4 participants