Comment on bugs

jonasw@discuss.tchncs.de ⁨2⁩ ⁨years⁩ ago