GNUnet 0.20.0 released

[bastianschmidt]

Hello,


first of all,
GNUnet project wanted to release GNUnet 0.20.0 before the 40th GNU
Anniversary Hacker Meeting.
GNUnet project succeeded in reaching this aim.
Virtual applause to all devs contributing to this!

This important news item -
https://www.gnunet.org/en/news/2023-09-0.20.0.html - hasn't appeared on
the info-gnu mailing list, yet:
https://lists.gnu.org/archive/html/info-gnu/2023-09/threads.html

A look into the info-gnu mailing list archive reveals that news of previous
GNUnet version publications did appear on this mailing list - for example
GNUnet 0.12.0, on Fri, 20 Dec 2019 10:28:59 +0900:
https://lists.gnu.org/archive/cgi-bin/namazu.cgi?query=GNUnet&submit=Search%21&idxname=info-gnu&max=20&result=normal&sort=date%3Alate

But planet gnu got it: https://planet.gnu.org/

This is a major major release, so please make sure that said news item to
it also gets on the info-gnu mailing list.

And in the long run—suggestion for improvement:
This kind of instance has a history, all together sketching an outlook for
process improvement by automation, whenever a major release is on the
table.
Can't there be any kind of script created, pushing the according news item
to planet gnu and the info-gnu mailing list all together just by the push
of 1 button?
So that not only Martin(?) or tesserakt(?) are eased from this specific
task, but also all important spots are covered with this kind of news item
securely at the same, immediate time?

Reasoning:
This release is a quite important milestone among all releases, and
therefore deserves to get spotlight according to that.


Best regards,
Bastian Schmidt