chiark / gitweb /
Merge branch 'build-log-data-points' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 3 Jan 2018 14:39:23 +0000 (14:39 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 3 Jan 2018 14:39:23 +0000 (14:39 +0000)
commit4aaf82c34cd14b4a9d229cdaa379c6e2902bfc02
treed5c2093558b91b3727d5d989ddf2c77dc2337a5d
parent9793e573025f76fd8b111918af39d6c01dbbb145
parentfba4fa6ca6085a01f83ca7a46467779f93fedd0b
Merge branch 'build-log-data-points' into 'master'

add data points to the build log to add debugging

See merge request fdroid/fdroidserver!429