User profile for gerrit@coreboot.org

Name:	gerrit@coreboot.org
Creation:	Dec. 24, 2018, 9:31 p.m. (6 years, 5 months)
Votes for this user:	2 0