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)
Properly add gradle3.5

See merge request !255


Trivial merge