August 25, 2021March 29, 2023 Release Notes #793 Discussions can now be muted. When muted, users won’t receive notifications when mentioned, nor when new claims or comments are suggested.