Thank you! -- With best wishes Dmitry
пн, 4 мая 2020 г., 20:24 Niels Möller <[email protected]>: > Dmitry Baryshkov <[email protected]> writes: > > > I just wanted to point that git tree was not updated for the release. > > Thanks for telling me! Should be up to date now. > > I think the way it happened, was that I ran git push --tags under the > assumption that it would push tags in addition to the current branch, > and I didn't pay close attention. > > Regards, > /Niels > > -- > Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677. > Internet email is subject to wholesale government surveillance. > _______________________________________________ nettle-bugs mailing list [email protected] http://lists.lysator.liu.se/mailman/listinfo/nettle-bugs
