patch 8.1.0394: diffs are not always updated correctly

Problem:    Diffs are not always updated correctly.
Solution:   When using internal diff update for any changes properly.
This commit is contained in:
Bram Moolenaar
2018-09-16 14:10:31 +02:00
parent 785fc6567f
commit e3521d9cbb
6 changed files with 35 additions and 7 deletions

View File

@@ -794,6 +794,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
394,
/**/
393,
/**/