[Users] minutes for 2016-08-22

Roland Haas rhaas at illinois.edu
Mon Aug 22 11:39:02 CDT 2016

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


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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
Url : http://lists.einsteintoolkit.org/pipermail/users/attachments/20160822/c0fb3365/attachment.bin 

More information about the Users mailing list