Skip to content

Release 12.2.4#24844

Merged
r0mant merged 1 commit intobranch/v12from
roman/v12/12.2.4
Apr 19, 2023
Merged

Release 12.2.4#24844
r0mant merged 1 commit intobranch/v12from
roman/v12/12.2.4

Conversation

@r0mant
Copy link
Copy Markdown
Collaborator

@r0mant r0mant commented Apr 19, 2023

@r0mant r0mant force-pushed the roman/v12/12.2.4 branch from 2c97ec5 to 340d258 Compare April 19, 2023 22:39
@public-teleport-github-review-bot public-teleport-github-review-bot Bot removed the request for review from russjones April 19, 2023 22:39
@r0mant r0mant enabled auto-merge April 19, 2023 22:39
@r0mant r0mant added this pull request to the merge queue Apr 19, 2023
Merged via the queue into branch/v12 with commit 0f5a2d8 Apr 19, 2023
@r0mant r0mant deleted the roman/v12/12.2.4 branch April 19, 2023 23:25
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