From 86b21bb3e7bc687fc74e127d78a89b411929716b Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Thu, 2 Nov 2017 18:10:00 +0100 Subject: [PATCH] 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) --- README.md | 1 + src/version.c | 2 ++ 2 files changed, 3 insertions(+) diff --git a/README.md b/README.md index 53795a7bd0..c608256e35 100644 --- a/README.md +++ b/README.md @@ -4,6 +4,7 @@ [![Coverage Status](https://coveralls.io/repos/vim/vim/badge.svg?branch=master&service=github)](https://coveralls.io/github/vim/vim?branch=master) [![Appveyor Build status](https://ci.appveyor.com/api/projects/status/o2qht2kjm02sgghk?svg=true)](https://ci.appveyor.com/project/chrisbra/vim) [![Coverity Scan](https://scan.coverity.com/projects/241/badge.svg)](https://scan.coverity.com/projects/vim) ++[![Debian CI](https://badges.debian.net/badges/debian/testing/vim/version.svg)](https://buildd.debian.org/vim)[![Debian CI](https://badges.debian.net/badges/debian/testing/vim/version.svg)](https://buildd.debian.org/vim) ## What is Vim? ## diff --git a/src/version.c b/src/version.c index fabb4d9b75..7bf3f4308e 100644 --- a/src/version.c +++ b/src/version.c @@ -761,6 +761,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1247, /**/ 1246, /**/