Skip to content

[v13] Update WebUI database type#25471

Merged
greedy52 merged 3 commits intobranch/v13from
bot/backport-25270-branch/v13
May 4, 2023
Merged

[v13] Update WebUI database type#25471
greedy52 merged 3 commits intobranch/v13from
bot/backport-25270-branch/v13

Conversation

@greedy52
Copy link
Copy Markdown
Contributor

@greedy52 greedy52 commented May 2, 2023

Backport #25270 to branch/v13

@greedy52 greedy52 enabled auto-merge May 2, 2023 16:02
@public-teleport-github-review-bot public-teleport-github-review-bot Bot removed the request for review from stevenGravy May 4, 2023 06:45
@greedy52 greedy52 added this pull request to the merge queue May 4, 2023
Merged via the queue into branch/v13 with commit 935513e May 4, 2023
@greedy52 greedy52 deleted the bot/backport-25270-branch/v13 branch May 4, 2023 07:08
@r0mant r0mant mentioned this pull request Jul 14, 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