chiark / gitweb /
Merge branch 'permission-fix' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 27 Jun 2016 06:41:49 +0000 (06:41 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 27 Jun 2016 06:41:49 +0000 (06:41 +0000)
Make permission parsing more specific

Get name only and ignore maxSdkVersion

Fixes #188

See merge request !142


Trivial merge