correct mentions if parent mention multiple users with same nickname (don't use first one for all)
Showing
Please register or sign in to comment
We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org