Skip to content

[stable31] fix(hardening): Adjust server list#13818

Merged
nickvergessen merged 1 commit into
stable31from
backport/13817/stable31
Oct 27, 2025
Merged

[stable31] fix(hardening): Adjust server list#13818
nickvergessen merged 1 commit into
stable31from
backport/13817/stable31

Conversation

@backportbot
Copy link
Copy Markdown

@backportbot backportbot Bot commented Oct 27, 2025

Backport of PR #13817

Signed-off-by: Joas Schilling <coding@schilljs.com>
@nickvergessen nickvergessen merged commit 77cfbc0 into stable31 Oct 27, 2025
11 checks passed
@nickvergessen nickvergessen deleted the backport/13817/stable31 branch October 27, 2025 16:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant