|
|
|
|
|
|
by zaik
1390 days ago
|
|
|
I wish they would integrate an IRC or XMPP gateway per default. I know that #isabelle is visible in isabelle.zulipchat.com, but if the instance admin does not enable it, there's no way to participate using the standard IM protocols. |
|
|