chiark / gitweb /
Merge branch 'build_timeout' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 22 Jan 2018 20:49:01 +0000 (20:49 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 22 Jan 2018 20:49:01 +0000 (20:49 +0000)
Build timeout

See merge request fdroid/fdroidserver!437


Trivial merge