Merge patch into master (#35)

Author: sdb9696

.github/workflows/ci.yml

@@ -2,9 +2,9 @@ name: CI
 
 on:
   push:
-    branches: ["master"]
+    branches: ["master", "patch"]
   pull_request:
-    branches: ["master"]
+    branches: ["master", "patch"]
   workflow_dispatch:  # to allow manual re-runs
 
 env:

.github/workflows/codeql-analysis.yml

@@ -2,9 +2,9 @@ name: "CodeQL checks"
 
 on:
   push:
-    branches: [ master ]
+    branches: [ "master", "patch" ]
   pull_request:
-    branches: [ master ]
+    branches: [ master, "patch" ]
   schedule:
     - cron: '44 17 * * 3'