Let's keep the Bugzilla noise down and cover all devs currently registered as members of Project:RISC-V by this ticket, since to the best of my knowledge they do not gain any additional privileges this way. The current list is: alexxy dilfridge dlan gokturk marecki nerdboy zlogene
Done.