@sergey-safarov Thanks for the fixes! So I understood correctly, the 5.2/5.2 and 5.3/5.3 point now to the latest stable releases of the respective branches, great.
About the weekly repositories, yes, they could be named indeed "weekly" in the respective branches, e.g. 5.2/weekly.


You are receiving this because you commented.
Reply to this email directly, view it on GitHub, or unsubscribe.