Skip to content

[v14] Fix default piv key slot to match comments and docs#34414

Merged
Joerger merged 1 commit intobranch/v14from
bot/backport-34350-branch/v14
Nov 9, 2023
Merged

[v14] Fix default piv key slot to match comments and docs#34414
Joerger merged 1 commit intobranch/v14from
bot/backport-34350-branch/v14

Conversation

@Joerger
Copy link
Copy Markdown
Contributor

@Joerger Joerger commented Nov 9, 2023

Backport #34350 to branch/v14

@Joerger Joerger added the no-changelog Indicates that a PR does not require a changelog entry label Nov 9, 2023
@Joerger Joerger enabled auto-merge November 9, 2023 19:13
@Joerger Joerger added this pull request to the merge queue Nov 9, 2023
Merged via the queue into branch/v14 with commit 840723b Nov 9, 2023
@Joerger Joerger deleted the bot/backport-34350-branch/v14 branch November 9, 2023 22:51
This was referenced Nov 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport documentation no-changelog Indicates that a PR does not require a changelog entry rfd Request for Discussion size/sm

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants