On Fri, 26 Jun 2020 09:38:06 +0200, Samuel Sieb wrote:
On 6/26/20 12:27 AM, Jan Kratochvil wrote:
> Some replies also do not like this change, I am not alone. Still it looks like
> there area really more votes for this change than against it. Fine with me.
From all the replies here, yours is the only one I've seen that's really