[06:14] riscv64 builders don't look happy === JanC is now known as Guest8428 === JanC_ is now known as JanC [18:33] It's dancol@dancol.org === genii_ is now known as genii === JanC is now known as Guest5515 === JanC_ is now known as JanC === JanC is now known as Guest3092 === JanC_ is now known as JanC