Page Menu
Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Profile
Badges
Tasks
Revisions
Commits
Manage
People
isabelle-dev
Manage
isabelle-dev (Isabelle development)
User
Mailing List
Actions
Edit Profile
Edit Profile Picture
Edit Settings
Make Administrator
Change Username
Send Welcome Email
Disable User
Delete User
Flag For Later
Details
User Since
Dec 16 2019, 1:50 PM (229 w, 4 d)
Roles
Mailing List
Event Timeline
makarius
updated this object.
Dec 16 2019, 1:55 PM
2019-12-16 13:55:47 (UTC+1)