On Mon, Dec 07 2020, Carlo Zancanaro wrote:
... unfortunately it no longer applies cleanly to master.
Actually, I think I was wrong about this. I must have done something wrong when I tried to apply the patch before sending my email. When I tried again it worked, and it seems to be fetching the git references properly.
