chiark / gitweb /
Merge branch 'timeout_flag' into 'master'
authorHans-Christoph Steiner <hans@eds.org>
Mon, 12 Feb 2018 11:01:46 +0000 (12:01 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 12 Feb 2018 11:01:46 +0000 (12:01 +0100)
commitd4e64bda4ca49618b1578a039f6df3ebfba4a557
treed707de8bd72487ed05187b9200fdb66ee4af5aaa
parent2238b5cafdd09ecca03db188390f123810038274
parent39a5637df2080b975860604ddefc188172f9363e
Merge branch 'timeout_flag' into 'master'

build: clear timeout flag before every build

See merge request fdroid/fdroidserver!455