💬 #idris on Libera.​Chat

Channel Information

Current users

63

Peak users

64

Average users

63

Samples

9

First discovered

2026-10-30 14:45:30

Last observed

45 min ago

Channel User History