55840040df
The mirror hash added in this commit was wrong.
The file on the mirror server and the newly generated file from git have
a different hash value, use that one.
Fixes:
|
||
---|---|---|
.. | ||
Makefile |