Push force to master by mistake

[Jorge Cardoso Leitão]

Hi,

I mistakenly force-pushed master with an outdated master. Could someone
revert this? I can't find the commit hash with the (good) latest master
anywhere.

Really sorry about this!! :(

Jorge