On 08/10/2020 01:50, Brian May wrote:
I have no idea what is wrong here, or why it is fixated on a commit that is 2 commits behind master...
There's some corruption on the git checkout on soriano. I'm looking at it. Emilio