From 930830a68b6eb7ca630956330b48996e3ef8518f Mon Sep 17 00:00:00 2001
From: Philip H <47042125+pheiduck@users.noreply.github.com>
Date: Thu, 25 Aug 2022 16:24:56 +0100
Subject: [PATCH] patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04

Problem:    Coverity workflow still uses Ubuntu 18.04.
Solution:   Use Ubuntu 20.04
---
 .github/workflows/coverity.yml | 2 +-
 src/version.c                  | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index a58a20b61..566ab5b2f 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -6,7 +6,7 @@ on:
 
 jobs:
   scan:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
 
     env:
       CC: gcc
diff --git a/src/version.c b/src/version.c
index 50294f852..b5cdfdf78 100644
--- a/src/version.c
+++ b/src/version.c
@@ -727,6 +727,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    267,
 /**/
     266,
 /**/
-- 
2.40.0