31 May
2025
31 May
'25
3:10 p.m.
On Fri May 30 23:00:07 2025 +0000, Nikolay Sivov wrote:
This doesn't look right. Was it tested?
what exactly isn't right? setting `old_thin = thin`? I've fixed that now.