Alexander, could you please clarify why you need to use HEAD in order to include fix? In my understanding, it is enough to take a v.0.80.7 tag, apply the patch to it and build it.
Alexander, could you please clarify why you need to use HEAD in order to include fix? In my understanding, it is enough to take a v.0.80.7 tag, apply the patch to it and build it.