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)
commit690711e7f8b18c27f853907250b2d5a7385bff35
treef22196a7e92b0c369f3fe612ef45fda523e6cd4a
parente46debe12e664fb536d6518d1381f6183c5ccebe
parent998c016925b1e13a1319b4f0fb434d8ae407e13f
Merge branch 'pep' into 'master'

bs: add sqlite3 and asn1c

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

See merge request !149