> I simplified some commit messages, as we usually use 'Update to ...',
> no need to mention the origin hash.
> 
> Pushed, thank you!

Thanks a lot!