I think the problem is somewhat annoying, but has not been an issue before. If there is some consensus regarding this, I am happy to make rc0 available for voting in the next couple of days.
On 8/01/2020 7:58 am, Vladimir Sitnikov wrote:
AFAIK it is up to the release manager. Vladimir