---
title: Make user mentions case-insensitive
merge_request: 10285
author: blackst0ne