[Users] Account for ET Trac
Roland Haas
rhaas at illinois.edu
Sat Sep 8 18:56:42 CDT 2018
Hello all,
I seem to be facing the same issue.
Yours,
Roland
> I just provided a code review for the Lean code on the ET Trac. I was
> logged in when I submitted it, but the submission now shows as
> "anonymous", and I cannot log in again. Could someone check whether I
> have an account, and/or provide a pointer to resetting my password?
>
> -erik
>
--
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: 833 bytes
Desc: OpenPGP digital signature
Url : http://lists.einsteintoolkit.org/pipermail/users/attachments/20180908/2f87c716/attachment.bin
More information about the Users
mailing list