diff options
-rw-r--r-- | Master/tlpkg/dev/tlmgrgui2.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/dev/tlmgrgui2.pl b/Master/tlpkg/dev/tlmgrgui2.pl index cadbd198e4a..fbb019a779c 100644 --- a/Master/tlpkg/dev/tlmgrgui2.pl +++ b/Master/tlpkg/dev/tlmgrgui2.pl @@ -1252,7 +1252,7 @@ if ($opts{"load"}) { } -info(__("Completed") . "\n"); +info(__("Completed") . ".\n"); $mw->deiconify; @@ -1668,7 +1668,7 @@ sub execute_action_gui { if ($error_code) { give_warning_window(@_); } - info(__("Completed") . "\n"); + info(__("Completed") . ".\n"); $mw->Unbusy; } |