diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index bd52c09b97c..6ca8edea4a2 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -3168,7 +3168,7 @@ sub action_update { # dirs from the new package before re-installing the old one. # TODO logpackage("failed update: $pkg ($rev -> $mediarevstr)"); - tlwarn("$prg: Installation of new version of $pkg did fail, trying to unwind.\n"); + tlwarn("$prg: Installation of new version of $pkg failed, trying to unwind.\n"); if (win32()) { # w32 is notorious for not releasing a file immediately # we experienced permission denied errors |