:: commit dc82afcbc5c9b109538e6ede5847dc04a33acc02

diff --git a/stage23/menu.c b/stage23/menu.c
index 0444389b..ff781a0d 100644
--- a/stage23/menu.c
+++ b/stage23/menu.c
@@ -810,7 +810,7 @@ timeout_aborted:
         }
     }
 
-post_menu:
+post_menu:;
     char *config = selected_menu_entry->body;
 
     char *proto = config_get_value(config, 0, "PROTOCOL");