Skip to content

[v14] Fix piv slot overridden by server settings#34592

Merged
Joerger merged 1 commit intobranch/v14from
joerger/v14/fix-piv-client-custom-slot
Nov 16, 2023
Merged

[v14] Fix piv slot overridden by server settings#34592
Joerger merged 1 commit intobranch/v14from
joerger/v14/fix-piv-client-custom-slot

Conversation

@Joerger
Copy link
Copy Markdown
Contributor

@Joerger Joerger commented Nov 14, 2023

Backport #34349 to branch/v14

@Joerger Joerger added this pull request to the merge queue Nov 14, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Nov 14, 2023
@Joerger Joerger added this pull request to the merge queue Nov 16, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Nov 16, 2023
@Joerger Joerger added this pull request to the merge queue Nov 16, 2023
Merged via the queue into branch/v14 with commit cc29c7a Nov 16, 2023
@Joerger Joerger deleted the joerger/v14/fix-piv-client-custom-slot branch November 16, 2023 21:18
@camscale camscale mentioned this pull request Nov 16, 2023
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.

3 participants