chiark / gitweb /
Merge remote-tracking branch 'fdroid/master' into build_tools_log
authorMichael Pöhn <michael.poehn@fsfe.org>
Wed, 22 Mar 2017 13:02:45 +0000 (14:02 +0100)
committerMichael Pöhn <michael.poehn@fsfe.org>
Wed, 22 Mar 2017 13:02:45 +0000 (14:02 +0100)

Trivial merge