fdroiddata!14014 (merged) fdroidserver#1084 (closed) fdroid-bootstrap-buildserver!29 (merged) fdroid-bootstrap-buildserver!30 (merged)