1 files changed, 16 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl
index 79c49b102f5..3384a3604c7 100755
--- a/Master/texmf/scripts/texlive/tlmgr.pl
+++ b/Master/texmf/scripts/texlive/tlmgr.pl
@@ -3549,7 +3549,13 @@ sub action_pinning {
     }
     my $repo = shift @ARGV;
     my @ov = $pf->value($repo);
-    push @ov, @ARGV;
+    for my $n (@ARGV) {
+      if (member($n, @ov)) {
+        info("$prg: already pinned to $repo: $n\n");
+      } else {
+        push @ov, $n;
+      }
+    }
     $pf->value($repo, @ov);
     $remotetlpdb->virtual_update_pins();
     $pf->save;
@@ -3579,7 +3585,15 @@ sub action_pinning {
     for my $pf (@ov) {
       push (@nv, $pf) if (!member($pf, @ARGV));
     }
-    $pf->value($repo, @nv);
+    if ($#ov == $#nv) {
+      info("$prg: no changes in pinning data for $repo\n");
+      return 1;
+    }
+    if (@nv) {
+      $pf->value($repo, @nv);
+    } else {
+      $pf->delete_key($repo);
+    }
     $remotetlpdb->virtual_update_pins();
     $pf->save;
     info("$prg: removed pinning data for repository $repo: @ARGV\n");