People - Branches (0)
Includes all known “users”, including login identities which the current security realm can enumerate, as well as people mentioned in commit messages in recorded changelogs.
|User ID||Name||Last Commit Activity||On|
|Icon: S M L|
|1||PR 46: deps|
|1||PR 45: symbolic: replacing revert() with assume(). Must work now but is probably slower |