# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1718530310 -7200
# Node ID 7232a8e68eeb1f800cba03d16b12589d1e8cc962
# Parent  736c962f1011aaa1a74fa7b8a506cfd46de7ba45
fix build

diff -r 736c962f1011 -r 7232a8e68eeb ui/gtk/menu.c
--- a/ui/gtk/menu.c	Sun Jun 16 11:23:21 2024 +0200
+++ b/ui/gtk/menu.c	Sun Jun 16 11:31:50 2024 +0200
@@ -501,4 +501,4 @@
     }
 }
 
-#endif /* UI_GTK2 || UI_GTK3
\ No newline at end of file
+#endif /* UI_GTK2 || UI_GTK3 */