chiark / gitweb /
Merge branch 'pep' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 31 Jul 2016 17:15:58 +0000 (17:15 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 31 Jul 2016 17:15:58 +0000 (17:15 +0000)
bs: add sqlite3 and asn1c

Ref: https://gitlab.com/fdroid/fdroiddata/merge_requests/1557

See merge request !149


Trivial merge