chiark / gitweb /
Merge branch 'patch-1' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 18 Apr 2017 07:13:34 +0000 (07:13 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 18 Apr 2017 07:13:34 +0000 (07:13 +0000)
commit0ffbff9aecdbfc3059ed22a2afb87bf5c60f6f0d
tree246841cb5d21a979c2ab7c527676f57a9cf547d5
parent1d44a4277422a88a1f537b7f963d81802921fd01
parenta6ec4ba3639cd166226a4c18f0f6eb582143dd48
Merge branch 'patch-1' into 'master'

Properly add gradle3.5

See merge request !255