Stream: zulip

Topic: highlight username fun


pnkfelix (Oct 18 2019 at 15:02, on Zulip):

@mw

pnkfelix (Oct 18 2019 at 15:02, on Zulip):

@mw

pnkfelix (Oct 18 2019 at 15:02, on Zulip):

@mw

pnkfelix (Oct 18 2019 at 15:03, on Zulip):

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

pnkfelix (Oct 18 2019 at 15:03, on Zulip):

oh wait

pnkfelix (Oct 18 2019 at 15:03, on Zulip):

/me @mw

pnkfelix (Oct 18 2019 at 15:03, on Zulip):

Ha ha!

pnkfelix (Oct 18 2019 at 15:03, on Zulip):

it doesn't work after /me !

Santiago Pastorino (Oct 18 2019 at 16:00, on Zulip):

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

Santiago Pastorino (Oct 18 2019 at 16:01, on Zulip):

checking it out again

Santiago Pastorino (Oct 18 2019 at 16:02, on Zulip):

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

Last update: Nov 17 2019 at 06:55UTC