22 Aug
2016
22 Aug
'16
11:39 a.m.
Hello all,
Tags also cannot be moved; that is the point - they always point to the same version.
I agree, they *shouldn't* be moved and are not designed to be. You can however delete and re-create them, which would be sufficient for our purpose since all we want is a single name that can move along with the releases.
Yours, Roland
--
My email is as private as my paper mail. I therefore support encrypting
and signing email messages. Get my PGP key from http://keys.gnupg.net.