Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

enabled the new collation by default #32015

Closed
wjhuang2016 opened this issue Jan 27, 2022 · 1 comment
Closed

enabled the new collation by default #32015

wjhuang2016 opened this issue Jan 27, 2022 · 1 comment
Labels
type/enhancement The issue or PR belongs to an enhancement.

Comments

@wjhuang2016
Copy link
Member

Enhancement

We introduced the new collation framework in v4.0, it's time to enabled it by default.
@wjhuang2016 wjhuang2016 added the type/enhancement The issue or PR belongs to an enhancement. label Jan 27, 2022
@wjhuang2016 wjhuang2016 mentioned this issue Jan 27, 2022
Merged
12 tasks
ti-chi-bot pushed a commit that referenced this issue Feb 8, 2022
@wjhuang2016
*: enable the new collation by default (#32016)
3738dec 
ref #32015
@wjhuang2016
Copy link
Member Author

Closed by #32016

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type/enhancement The issue or PR belongs to an enhancement.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@wjhuang2016