Release Notes #535

November 13, 2019

• Deleted discussions are now immediately removed from search results upon deletion.
• Comment drawer animations have been improved.