git keeps changing the number of digits in abbreviated hashes, resulting in the GitHub archive hash changing because we include it here. To workaround this and avoid hashes that become increasingly ambiguous later on, just include the full commit hash when building from git. This has no effect on tagged releases.pull/585/head
parent
41cced2106
commit
a71c56aebb
Loading…
Reference in new issue