commit | dc9f9e93f5229fd4325472ed62e7b17872d64060 | [log] [tgz] |
---|---|---|
author | Bram Moolenaar <Bram@vim.org> | Sat May 11 14:34:13 2019 +0200 |
committer | Bram Moolenaar <Bram@vim.org> | Sat May 11 14:34:13 2019 +0200 |
tree | 1ead48008e1879a816253898c41ed72413148ed1 | |
parent | d6896731ecb74b419389f75d79210e088a9caa77 [diff] [blame] |
patch 8.1.1317: output from Travis can be improved Problem: Output from Travis can be improved. Solution: Add section headers. Handle errors better. (closes #4098)
diff --git a/src/version.c b/src/version.c index d31e611..ea97bef 100644 --- a/src/version.c +++ b/src/version.c
@@ -768,6 +768,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1317, +/**/ 1316, /**/ 1315,