Ignacio Vera <[email protected]> 5:05 PM (4 minutes ago) to private Sorry folks,
I was working on something and I screwed up my windows and I ended up pushing into main a commit that is missing the last week of work (last commit from September 24th). I wonder if we have some procedure in this case. Sorry about that, I am gutted. Ignacio
