Hi Bernhard, > I don't see the 'release_1_34' tag in Git [1]. > Is it possible that you just forgot to push the tag?
Thanks for noticing. Indeed, I forgot it. Pushed it now. Regards, Sergey
Hi Bernhard, > I don't see the 'release_1_34' tag in Git [1]. > Is it possible that you just forgot to push the tag?
Thanks for noticing. Indeed, I forgot it. Pushed it now. Regards, Sergey