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)
commit4b35f19480fbeb2c83cebde0c8a5d721082c3b07
treed84ffa74c262c0ec2b039eb65040c3db8447518e
parent4f772596d2495d0a7105fa662ccb784669550cbb
parent89d9d0c45b770d9db2de07b4bb8c0d361f96c61e
Merge branch '334-make-index-generation-fully-reproducible' into 'master'

Resolve "make index generation fully reproducible"

Closes #334

See merge request fdroid/fdroidserver!343