Stream: zulip

Topic: highlight username fun


view this post on Zulip pnkfelix (Oct 18 2019 at 15:02):

@mw

view this post on Zulip pnkfelix (Oct 18 2019 at 15:02):

@mw

view this post on Zulip pnkfelix (Oct 18 2019 at 15:02):

@mw

view this post on Zulip pnkfelix (Oct 18 2019 at 15:03):

as far as I can tell, https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/design.20meeting.202019-10-18/near/178481909 is just broken for some reason

view this post on Zulip pnkfelix (Oct 18 2019 at 15:03):

oh wait

view this post on Zulip pnkfelix (Oct 18 2019 at 15:03):

/me @mw

view this post on Zulip pnkfelix (Oct 18 2019 at 15:03):

Ha ha!

view this post on Zulip pnkfelix (Oct 18 2019 at 15:03):

it doesn't work after /me !

view this post on Zulip Santiago Pastorino (Oct 18 2019 at 16:00):

btw I’ve seen a trick on Zulip help which is doing @_pnkfelix or something like that

view this post on Zulip Santiago Pastorino (Oct 18 2019 at 16:01):

checking it out again

view this post on Zulip Santiago Pastorino (Oct 18 2019 at 16:02):

https://zulipchat.com/help/mention-a-user-or-group#silently-mention-a-user


Last updated: Oct 11 2021 at 22:34 UTC