Mention a user in comments #8791
Unanswered
Lanhild
asked this question in
Ideas / Requests
Replies: 1 comment 1 reply
-
|
It had been implemented once, but it has been omitted. |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
It would make collaborative editing better, yes. |
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Being able to mention another user in the comments would be a neat feature.
Beta Was this translation helpful? Give feedback.
All reactions