| commit | 86b21bb3e7bc687fc74e127d78a89b411929716b | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Thu Nov 02 18:10:00 2017 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Thu Nov 02 18:10:00 2017 +0100 |
| tree | 9bc444b88ec34df7db4a4f7ea99378092cb6492d | |
| parent | b315876efa7865486b9cc160d43f0ead47e58d6c [diff] [blame] |
patch 8.0.1247: not easy to find Debian build info Problem: Not easy to find Debian build info. Solution: Add a badge in the README file. (Dominique Pelle)
diff --git a/src/version.c b/src/version.c index fabb4d9..7bf3f43 100644 --- a/src/version.c +++ b/src/version.c
@@ -762,6 +762,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1247, +/**/ 1246, /**/ 1245,