> We had a lot of problems with the builds yesterday so have a lot of cleanup
> and documentation fixes to do yet this weekend. Some problems listed here.
Problems nearly always sad and definitely time consuming.. Sorry to hear that.
I was looking at gitweb, and new tag (2020-07 ?) not yet appeared, so I
can sleep some more and wait for clean-up to complete.
OK, you and the dog can wake up now as the Tag has been added ! We did not add the updated Russian translations as you mentioned to wait, but I wanted to make sure that I did not miss your email as sometimes it ends up in spam and I never look there).