Skip to content

[v13] Use new device event layout in Web UI#25554

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

[v13] Use new device event layout in Web UI#25554
codingllama merged 3 commits intobranch/v13from
bot/backport-25355-branch/v13

Conversation

@codingllama
Copy link
Copy Markdown
Contributor

Use the new device event layout, introduced by #25353, in the Web UI.

#25288

Backport #25355 to branch/v13

@nklaassen
Copy link
Copy Markdown
Contributor

@codingllama putting the backport stanza at the end of the PR description seems to be confusing the review assignment bot Assign: Found original PR #25353.

@codingllama
Copy link
Copy Markdown
Contributor Author

@codingllama putting the backport stanza at the end of the PR description seems to be confusing the review assignment bot Assign: Found original PR #25353.

Should it be on top? I didn't realize that, thanks.

@public-teleport-github-review-bot public-teleport-github-review-bot Bot removed the request for review from zmb3 May 4, 2023 14:10
@codingllama codingllama added this pull request to the merge queue May 4, 2023
Merged via the queue into branch/v13 with commit 4dd93f1 May 4, 2023
@codingllama codingllama deleted the bot/backport-25355-branch/v13 branch May 4, 2023 15:17
@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