# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1661851015 -7200
# Node ID 5573b1d511c95599e543b34a3bb6f0c2ec947896
# Parent  bc385e42e09afa8aa77bab049976a87cf80914f3# Parent  19bd1953fc1df845c83b2950379c97d43f44cf48
maint: Merge stable to default.

diff -r bc385e42e09a -r 5573b1d511c9 .github/workflows/make.yaml
--- a/.github/workflows/make.yaml	Mon Aug 29 18:36:17 2022 +0200
+++ b/.github/workflows/make.yaml	Tue Aug 30 11:16:55 2022 +0200
@@ -14,7 +14,7 @@
       matrix:
         # For available GitHub-hosted runners, see:
         # https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
-        os: [ubuntu-22.04, ubuntu-20.04, ubuntu-18.04]
+        os: [ubuntu-22.04, ubuntu-20.04]
         compiler: [gcc, clang]
         include:
           - compiler: gcc