> When release branch will be available through the git mirror too? I will wait for another branch and will add the information to mirror -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University