8 Sep
2018
8 Sep
'18
6:56 p.m.
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.