Hi Piotr,

thanks for bringing this up again ;-)
We discussed that some time ago, but nobody has taken the time yet to change this.

I am +1 on merging those lists into [email protected].

All those lists have nearly no traffic, so users won't really notice.

Regards,

Jan

On 10/5/26 12:22, Piotr P. Karwasz wrote:
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

Reply via email to