leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Zulip meta

Topic: unmute thread


Adam Topaz (Aug 16 2021 at 14:47):

I mistakenly muted a thread by pressing some random key on my keyboard, and I can't seem to figure out how to unmute it. Does anyone know where these settings are?

Adam Topaz (Aug 16 2021 at 14:49):

Got it thanks to @Matthew Ballard . It's under personal settings / muted topics

Johan Commelin (Aug 16 2021 at 15:37):

For reference, the random key was probably M.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll