patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04

Problem: Coverity workflow still uses Ubuntu 18.04. Solution: Use Ubuntu 20.04
2022-08-25 16:24:56 +01:00
parent 340dafd155
commit 930830a68b
2 changed files with 3 additions and 1 deletions
--- 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,
 /**/