Release Notes #516

October 10, 2019

• The font and color of user mentions in comments and chat was fixed.
• Deleted claims don’t appear in duplicate search anymore.