chiark / gitweb /
Post info: add list of mentioned users.
authorSimon Tatham <anakin@pobox.com>
Mon, 11 Dec 2023 19:11:04 +0000 (19:11 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 11 Dec 2023 19:11:04 +0000 (19:11 +0000)
commitfe28194c25084ebf83f15145f7c769085bea18d0
treeda7a217684a1036f3b4c201ae2286792a5e5e84e
parent01b38afd293b05726b5b6cc8e9251d31604a6bc8
Post info: add list of mentioned users.

Because the post itself doesn't show their fully qualified usernames.
client.py
text.py