changeset 12754:5707872d5c07 v8.0.1255

patch 8.0.1255: duplicate badge README file commit https://github.com/vim/vim/commit/ea84df8041dbbff95acb1db8532281679c5fbe5a Author: Bram Moolenaar <Bram@vim.org> Date: Thu Nov 2 22:38:51 2017 +0100 patch 8.0.1255: duplicate badge README file Problem: duplicate badge README file. Solution: Remove one. (Dominique Pelle)
author Christian Brabandt <cb@256bit.org>
date Thu, 02 Nov 2017 22:45:05 +0100
parents 40748484254a
children 3529eea08ad9
files README.md src/version.c
diffstat 2 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/README.md
+++ b/README.md
@@ -5,7 +5,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)
+[![Debian CI](https://badges.debian.net/badges/debian/testing/vim/version.svg)](https://buildd.debian.org/vim)
 
 
 ## What is Vim? ##
--- a/src/version.c
+++ b/src/version.c
@@ -762,6 +762,8 @@ static char *(features[]) =
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1255,
+/**/
     1254,
 /**/
     1253,