6 Feb
2025
6 Feb
'25
5:54 p.m.
On Thu Feb 6 17:25:46 2025 +0000, Esme Povirk wrote:
I guess it's fixed in the next patch. Not sure how much we need to worry about it then.
No problem. I’ll fix it up, so that it’s correct on every commit.