9 Dec
2023
9 Dec
'23
10:32 p.m.
On Sat Dec 9 22:32:42 2023 +0000, Giovanni Mascellani wrote:
Ok. I still find the comment a bit confusing, though.
The comment is changed now.