Merge branch 'master' into master-ghc8107

This commit is contained in:
Evgeny Poberezkin
2023-09-25 16:52:33 +01:00
3 changed files with 37 additions and 36 deletions

View File

@@ -8,6 +8,7 @@ on:
- users
tags:
- "v*"
- "!*-fdroid"
pull_request:
jobs: