chiark / gitweb /
Merge branch 'ci-update' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 5 Apr 2016 10:42:59 +0000 (10:42 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 5 Apr 2016 10:42:59 +0000 (10:42 +0000)
Gradle 2.12, build-tools 23.0.3

See merge request !117


Trivial merge