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)
metadata: write values of TYPE_INT fields

See merge request fdroid/fdroidserver!456


Trivial merge