Assigned to nobody @clairexen clairexen Claire Xen @cliffordwolf cliffordwolf Claire Wolf @daveshah1 daveshah1 David Shah @dh73 dh73 Diego H @edbordin edbordin Ed Bordin @eddiehung eddiehung Eddie Hung @mattvenn mattvenn matt venn @mmicko mmicko Miodrag Milanović @mwkmwkmwk mwkmwkmwk Marcelina Kościelnicka @nakengelhardt nakengelhardt N. Engelhardt @pepijndevos pepijndevos Pepijn de Vos @q3k q3k Serge Bazanski @trcwm trcwm Niels Moseley @whitequark whitequark whitequark @yosys-bot yosys-bot @zachjs zachjs Zachary Snow