commit bash-20040916 snapshot

2026-08-06 10:12:38 +02:00 · 2011-12-03 13:36:44 -05:00
parent b66cc81633
commit 633e5c6dee
43 changed files with 15318 additions and 111 deletions
@@ -3814,6 +3814,8 @@ history_delimiting_chars ()
 	return " ";
      return ";";
    }
+  else if (two_tokens_ago == CASE && token_before_that == WORD && (parser_state & PST_CASESTMT))
+    return " ";

  for (i = 0; no_semi_successors[i]; i++)
    {