Remove duplicate mentioned group members.

Among other things, this will fix the bug where multiple emails are sent to a user when that user is mentioned multiple times in a comment.