chiark / gitweb /
Merge branch '334-make-index-generation-fully-reproducible' into 'master'
authorMichael Pöhn <uniq@h4x.at>
Fri, 6 Oct 2017 17:18:10 +0000 (17:18 +0000)
committerMichael Pöhn <uniq@h4x.at>
Fri, 6 Oct 2017 17:18:10 +0000 (17:18 +0000)
Resolve "make index generation fully reproducible"

Closes #334

See merge request fdroid/fdroidserver!343


Trivial merge