Dolphin von Chips 18d199c498 samsung-j1mini3g: new device (Samsung Galaxy J1 mini) (!533) ... [ci:skip-build]: already built successfully in CI		2019-07-30 20:45:19 +02:00
..
APKBUILD
config-samsung-j1mini3g.armhf
fix-dts.patch
gcc7-give-up-on-ilog2-const-optimizations.patch
gcc8-fix-put-user.patch