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

Reply via email to