v5.3.0-fdroid
503d3d77 · Merge branch 'master' into master-ghc8107 ·