Skip to content

chore: Remove leftovers ICU feature#3903

Merged
philippemnoel merged 1 commit intomainfrom
phil/icu
Jan 12, 2026
Merged

chore: Remove leftovers ICU feature#3903
philippemnoel merged 1 commit intomainfrom
phil/icu

Conversation

@philippemnoel
Copy link
Copy Markdown
Member

Ticket(s) Closed

  • Closes #

What

Why

How

Tests

@philippemnoel philippemnoel added the Do Not Cherry Pick PR should not be cherry-picked to other branches label Jan 12, 2026
@philippemnoel philippemnoel merged commit 58a690b into main Jan 12, 2026
9 of 10 checks passed
@philippemnoel philippemnoel deleted the phil/icu branch January 12, 2026 18:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Do Not Cherry Pick PR should not be cherry-picked to other branches

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant