patch 8.2.4942: error when setting 'filetype' in help file again

Problem: Error when setting 'filetype' in help file again. Solution: Deal with text property type already existing. (closes #10409)
2022-05-12 17:24:49 +01:00
parent 82444cefa3
commit de216732d4
2 changed files with 13 additions and 5 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    4942,
 /**/
    4941,
 /**/