Merge branch 'prevo' into 'master'

Update PReVo to 0.21 (21)

See merge request fdroid/fdroiddata!6472

metadata/uk.co.busydoingnothing.prevo.yml

@@ -94,7 +94,24 @@ Builds:
       - cd ..
       - PrevoDB/src/prevodb -i $$Revo$$ -o src/main
 
+  - versionName: '0.21'
+    versionCode: 21
+    commit: '0.21'
+    subdir: app
+    gradle:
+      - yes
+    srclibs:
+      - Revo@1e8d7197c0
+      - PrevoDB@669361e4af
+    build:
+      - cp -r $$PrevoDB$$ .
+      - cd PrevoDB
+      - ./autogen.sh
+      - make -j`nproc`
+      - cd ..
+      - PrevoDB/src/prevodb -i $$Revo$$ -o src/main
+
 AutoUpdateMode: None
 UpdateCheckMode: Static
-CurrentVersion: '0.19'
-CurrentVersionCode: 19
+CurrentVersion: '0.21'
+CurrentVersionCode: 21