[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