13 Sep
2022
13 Sep
'22
3:14 p.m.
On Mon Sep 12 08:24:25 2022 +0000, Bernhard Kölbl wrote:
I see. Well then the next thing to do would be using the correct commit naming.
is the commit naming correct now?