Hi, thanks for looking. I was wondering if when you edit your post to ping someone if it actually pings them or if you need to have @'d them in the original posting/you have to make a new post?
It goes through if you edit a post to ping, if you're worried that it doesn't, put a space between the @ and the user name, save your post, then edit and remove the space and the ping should go through again.