commit 0fa09676c25a0a4a01f339887b8bf40b4673621f
author Bram Moolenaar <Bram@vim.org> Sat Feb 13 17:08:33 2021 +0100
committer Bram Moolenaar <Bram@vim.org> Sat Feb 13 17:08:33 2021 +0100
tree a62db0fa106c048e8bb3a82a8ab19d50f575f372
parent c150c09ec4f97636c6339f5687fdaa9f665095d2

patch 8.2.2507: github build may fail if Ubuntu 20.04 is used

Problem:    Github build may fail if Ubuntu 20.04 is used.  Installing rust is
            not needed.
Solution:   Specify ubuntu-18.04 instead of latest. Update "pip" instead of
            installing rust. (Ozaki Kiichi, closes #7820)

src/version.c

diff --git a/src/version.c b/src/version.c
index 6d01fa8..eeddd86 100644
--- a/src/version.c
+++ b/src/version.c
@@ -751,6 +751,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    2507,
+/**/
     2506,
 /**/
     2505,