Post #3309003

We had some problems where the reproducable build of F-Droid did not succeed. We fixed the problem and it has been successfully merged into the F-Droid repo now. The update should be available in the next few days.