chiark / gitweb /
Merge branch 'metadata-write-int' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 10:57:38 +0000 (10:57 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 10:57:38 +0000 (10:57 +0000)
commit2238b5cafdd09ecca03db188390f123810038274
tree0291acf7b73022180f49b3d50e71f3db98961e0b
parentef9b89f4ec29a66bcd38a557a639c9473a94af19
parent4d56c6c2625f1028bcf15b6328b1f78114744167
Merge branch 'metadata-write-int' into 'master'

metadata: write values of TYPE_INT fields

See merge request fdroid/fdroidserver!456