patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04

Problem:    Coverity workflow still uses Ubuntu 18.04.
Solution:   Use Ubuntu 20.04

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index a58a20b6157ba62595add39b433d6ac078a25a32..566ab5b2fe8ec77fcd49094e9796487d3a455e33 100644 (file)
--- 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 50294f85239cd3eafd71510da45b53a12a7fb6fe..b5cdfdf789e14feea3e2f4071b51fa2cbe60bd69 100644 (file)
--- 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,
 /**/