18 Oct
2022
18 Oct
'22
1:02 p.m.
On Tue Oct 18 12:38:44 2022 +0000, Florian Kübler wrote:
changed this line in version 2 of the diff
Yeah, I liked them for readability, but removed them now.