logbot is shutting down at the end of June 2021

#rust-typetheory

Last Event
Logging started
It is currently 13 Jun 2021 10:13 UTC Event count (approximation)
Activity · (last 6 months)

Channel Activity by Hour

Top Users (by number of messages, all time)