Hi Tobias, Tobias Geerinckx-Rice writes: > Hi Gio', > > Somehow I missed this message. Sorry about that. Non prob! > Giovanni Biscuolo 写道: [...] >> I don't know if there is a policy in cases like this: should we >> revert that commit and split in two commits? > > Nope. It shouldn't happen, of course, but IMO once it's done it's > done (assuming it didn't break Nix, of course). OK understood, thank you for your feedback. Ciao, Gio' [...] -- Giovanni Biscuolo Xelera IT Infrastructures