News for hackers. Stuff that matters.
Re:We’ve decided to rename Riot by dependenttypes on Wednesday June 24, 2020 @09:39PM (#23635953)
Irrelevant to what I said. We talked about most products.

There are no comments on this comment yet.