<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-size:small">Andrew,<br></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> We had a lot of problems with the builds yesterday so have a lot of cleanup<br>
> and documentation fixes to do yet this weekend.  Some problems listed here.<br>
<br>
Problems nearly always sad and definitely time consuming.. Sorry to hear that.<br>
<br>
I was looking at gitweb, and new tag (2020-07 ?) not yet appeared, so I<br>
can sleep some more and wait for clean-up to complete.<br></blockquote><div> </div><div><span class="gmail_default" style="font-size:small">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).<br></span></div></div></div>