This is strange since I merged with master 10 days ago, and this commit is much older. But there is something going wrong here: when I try to switch to my local master, or to pull, then I have errors ("reference is not a tree", "tag/x does not point to a valid object", "could not read 02f827...").
I will solve this and then do the merging.