Skip to content

[branch/v12] Bumped e ref#34552

Merged
fheinecke merged 1 commit intobranch/v12from
fred/update-e-branch/v12-1699901758
Nov 13, 2023
Merged

[branch/v12] Bumped e ref#34552
fheinecke merged 1 commit intobranch/v12from
fred/update-e-branch/v12-1699901758

Conversation

@fheinecke
Copy link
Copy Markdown
Contributor

Updated e ref to the latest branch/v12 commit.

@fheinecke fheinecke added the no-changelog Indicates that a PR does not require a changelog entry label Nov 13, 2023
@fheinecke fheinecke enabled auto-merge November 13, 2023 18:56
@github-actions github-actions Bot requested review from mdwn and nklaassen November 13, 2023 18:56
@public-teleport-github-review-bot public-teleport-github-review-bot Bot removed the request for review from nklaassen November 13, 2023 19:06
@fheinecke fheinecke added this pull request to the merge queue Nov 13, 2023
Merged via the queue into branch/v12 with commit b4745b9 Nov 13, 2023
@fheinecke fheinecke deleted the fred/update-e-branch/v12-1699901758 branch November 13, 2023 19:20
This was referenced Nov 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport no-changelog Indicates that a PR does not require a changelog entry size/sm

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants