Don't send additional notifications if user already received mention notification

Change-Id: Id7b9d6f18b163765f01b205ed21039d626757f8f
Merge "Don't send additional notifications if user already received mention notification"