Hi all, We currently have 6 different mailing lists with no traffic on them:
- [email protected], - [email protected], - [email protected], - [email protected], - [email protected], - [email protected]. What do you think about closing them all and creating a new [email protected] mailing list? I don't expect any traffic on the new mailing list either, but we should have one for user questions. We can also forward GitHub Discussions there. What do you think? Piotr
