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)
commit6846b772594066e871532fa3e90799aaaecb1cce
treeecdf13e93870c8a7fcc6b9760d99cdc902f9bc64
parent7dfc1c0449ff989d99269a4bc544cf4d46eae675
parentec9087d057dc4b46d07e8aa3c88a4fe7ccefde4a
Merge branch 'ci-update' into 'master'

Gradle 2.12, build-tools 23.0.3

See merge request !117