Empty commit to get f-droid to try another build
(apparently there was a build problem on f-droid's side)here
parent
efe3f2773b
commit
ed36410500
(apparently there was a build problem on f-droid's side)here