29 Sep
2025
29 Sep
'25
5:54 p.m.
On Mon Sep 29 17:41:27 2025 +0000, Matteo Bruni wrote:
Did you perhaps mean to set this commit's author to Christian? Otherwise, according to git, there are just two (existing) lines in the file attributed to him.
Ugh, yes, I don't know how it even got reset honestly; it should have been applied with git-am in the first place. I did make quite a few changes but the fundamental code is probably still his; I certainly would have had a hard time figuring out what to do without it.