chiark / gitweb /
Merge branch 'ndk' into 'master'
authorHans-Christoph Steiner <hans@eds.org>
Tue, 4 Jul 2017 12:34:42 +0000 (14:34 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 4 Jul 2017 12:34:42 +0000 (14:34 +0200)
NDK r14b and r15b

See merge request !293

1  2 
fdroidserver/common.py

Simple merge