diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index cf5ff9e5aab..101dcb1ed8c 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -1028,8 +1028,8 @@ sub action_update { } elsif ($newpkgs{$pkg}) { # do nothing here, it will be reported below! } elsif (defined($removals{$pkg})) { - # do nothing, this package has been removed due to server removal - # so don't warn here + # skipping this package, it has been removed due to server removal + next; } else { tlwarn("\nShould not happen, please report: " . "$pkg mentioned, but neither new nor forcibly removed\n"); |