updated for version 7.3.876

Problem:    #if indents are off.
Solution:   Insert a space where appropriate. (Taro Muraoka)

diff --git a/src/gui.c b/src/gui.c
index 6e5d58b5c6c480ade9ac5e14c6c21192d7e1a0db..1c60b7a60a7ad01e82edc14b24971fe9d717346b 100644 (file)
--- a/src/gui.c
+++ b/src/gui.c
@@ -991,7 +991,7 @@ gui_get_wide_font()
     }
 
     gui_mch_free_font(gui.wide_font);
-#ifdef FEAT_GUI_GTK
+# ifdef FEAT_GUI_GTK
     /* Avoid unnecessary overhead if 'guifontwide' is equal to 'guifont'. */
     if (font != NOFONT && gui.norm_font != NOFONT
                         && pango_font_description_equal(font, gui.norm_font))
@@ -1000,11 +1000,11 @@ gui_get_wide_font()
        gui_mch_free_font(font);
     }
     else
-#endif
+# endif
        gui.wide_font = font;
-#ifdef FEAT_GUI_MSWIN
+# ifdef FEAT_GUI_MSWIN
     gui_mch_wide_font_changed();
-#endif
+# endif
     return OK;
 }
 #endif

diff --git a/src/version.c b/src/version.c
index f0d5e00deae1d2faa6caf5d5e607e2ca58a4041a..a68eb13d54e12821291a961fa0a2bdc152348fae 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -728,6 +728,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    876,
 /**/
     875,
 /**/