-
Douwe Maan authored
Style warning about mentioning many people in a comment Fixes #2885 * Create issue: Before:  After:  * New merge request: Before:  After:  * New comment in a merge request: Before:  After:  * New diff comment: Before:  After:  See merge request !1971
4c353143
To find the state of this project's repository at the time of any of these versions, check out
the tags.