5 Sep
2018
5 Sep
'18
1:05 p.m.
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
--
Erik Schnetter schnetter@gmail.com
http://www.perimeterinstitute.ca/personal/eschnetter/