Stream: general

Topic: Discord

Srid (Aug 22 2025 at 15:22):

We are now on Discord: https://discord.gg/z5rHpFa7NN

Santosh Muralidhara (Oct 28 2025 at 05:53):

Did y’all switch over?

Shivaraj B H (Oct 28 2025 at 06:31):

@Santosh Muralidhara

We are active on Zulip as well

Last updated: Dec 07 2025 at 15:45 UTC