Comment Comment by dependenttypes There are private IRC channels (password protected or invite-only) as well as private messages. parent dependenttypes 6 years ago
