It used to be done by just typing the @ symbol followed by the person’s name, but that doesn’t seem to work anymore.
That’s right, you should be able to mention users with @ and posts with #. However, it does seem like they’re both currently broken, likely because we recently updated our search software. Thanks for flagging this! We’ll look into it.
The fix for this is now live—thanks!
It used to be done by just typing the @ symbol followed by the person’s name, but that doesn’t seem to work anymore.
That’s right, you should be able to mention users with @ and posts with #. However, it does seem like they’re both currently broken, likely because we recently updated our search software. Thanks for flagging this! We’ll look into it.
The fix for this is now live—thanks!