Skip to content

[v13] Update Prettier to 3.2.5#37903

Merged
gzdunek merged 2 commits intobranch/v13from
gzdunek/backport-37837/v13
Feb 12, 2024
Merged

[v13] Update Prettier to 3.2.5#37903
gzdunek merged 2 commits intobranch/v13from
gzdunek/backport-37837/v13

Conversation

@gzdunek
Copy link
Copy Markdown
Contributor

@gzdunek gzdunek commented Feb 8, 2024

Backport #37837

(cherry picked from commit 103f351)
@gzdunek gzdunek added the no-changelog Indicates that a PR does not require a changelog entry label Feb 8, 2024
@gzdunek gzdunek enabled auto-merge February 8, 2024 13:53
auto-merge was automatically disabled February 8, 2024 22:56

Merge queue setting changed

@ravicious
Copy link
Copy Markdown
Member

Could you merge this so that I can get #38082 in? :~)

@gzdunek gzdunek enabled auto-merge February 12, 2024 10:34
@gzdunek
Copy link
Copy Markdown
Contributor Author

gzdunek commented Feb 12, 2024

Sure, merging to v13 was blocked recently, so I couldn't do it.

@gzdunek gzdunek added this pull request to the merge queue Feb 12, 2024
Merged via the queue into branch/v13 with commit 6b303ca Feb 12, 2024
@gzdunek gzdunek deleted the gzdunek/backport-37837/v13 branch February 12, 2024 11:00
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 ui

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants