# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1509642904 -3600
# Node ID bd24b59084a11f23f0b39eee3304d8941e0aefde
# Parent  3b05a0df1fe53e9fd4e1b98637c0ca1d543c3894
patch 8.0.1247: not easy to find Debian build info

commit https://github.com/vim/vim/commit/86b21bb3e7bc687fc74e127d78a89b411929716b
Author: Bram Moolenaar <Bram@vim.org>
Date:   Thu Nov 2 18:10:00 2017 +0100

    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/README.md b/README.md
--- 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
--- 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 */
 /**/
+    1247,
+/**/
     1246,
 /**/
     1245,