Removing that file did indeed work. I have no idea where it comes from,
though; although I would guess it comes from another repository that I
merged with (which had my original repository set as an alternate.)
-hpa
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html