chore(deps): update infra.ci.jenkins.io plugins

jenkins-infra · Jan 2, 2025 · fe17136 · fe17136
1 parent 02225d7
commit fe17136
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugins.txt b/plugins.txt
@@ -112,7 +112,7 @@ ssh-agent:376.v8933585c69d3
 ssh-credentials:349.vb_8b_6b_9709f5b_
 sshd:3.330.vc866a_8389b_58
 structs:338.v848422169819
-support-core:1538.v0a_a_a_e0f2e1c0
+support-core:1551.v6479d730fa_e6
 theme-manager:262.vc57ee4a_eda_5d
 timestamper:1.28
 token-macro:400.v35420b_922dcb_