=== dkarakasilis1 is now known as dkarakasilis === sudip_ is now known as sudip [18:56] Are the RISC V builders sad? [18:56] The vast majority of them have been cleaning for a while. === terence is now known as terencehonles