Comment on bugs

jonasw@discuss.tchncs.de ⁨11⁩ ⁨months⁩ ago