diff options
-rw-r--r-- | .github/workflows/coverity.yml | 2 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 3 insertions, 1 deletions
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 @@ -728,6 +728,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 267, +/**/ 266, /**/ 265, |