commit bash-20150109 snapshot

2026-07-10 13:40:55 +02:00 · 2015-01-12 11:04:01 -05:00
parent 8f50a0236c
commit 687a967e4a
13 changed files with 1044 additions and 30 deletions
@@ -878,7 +878,7 @@ execute_command_internal (command, asynchronous, pipe_in, pipe_out,
 		unwind_protect_tag_on_stack ("saved-redirects"))
 	    run_unwind_frame ("saved-redirects");
 #endif
-  
+
 	  jump_to_top_level (ERREXIT);
 	}