On 12/8/20 3:34 AM, Bruno Haible wrote:
With all these topics, we can have people's attention until mid-February :)
We can extend it even further by putting out announcements every other week instead of every week....
But yes, I suppose it'd be nice to put out brief announcements every now and then.
