I've found another minor issue: the new logo did not get installed, which I've also fixed. I'll upload already, assuming that it needs not another ACK again. Thank you.
I've found another minor issue: the new logo did not get installed, which I've also fixed.
I'll upload already, assuming that it needs not another ACK again.
Thank you.