26 Aug
2024
26 Aug
'24
11:54 a.m.
On Mon Aug 26 11:54:22 2024 +0000, Rémi Bernon wrote:
Looks good to me from a purely syntactic perspective, then i don't know if this was supposed to be doing something instead.
Right, I meant to ask @dmitry to take a look.