14 Nov
2022
14 Nov
'22
12:05 p.m.
On Mon Nov 14 12:05:16 2022 +0000, Zebediah Figura wrote:
Side note that just occurs to me, we should probably add thread descriptions for any new threads, though I don't mind deferring that.
Good idea, done.