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

Support div_precision_increment attribute #51658

Closed
yibin87 opened this issue Mar 11, 2024 · 1 comment
Closed

Support div_precision_increment attribute #51658

yibin87 opened this issue Mar 11, 2024 · 1 comment
Labels
type/enhancement The issue or PR belongs to an enhancement.

Comments

@yibin87
Copy link
Contributor

yibin87 commented Mar 11, 2024

Enhancement

Tidb Issue: #51501
@yibin87 yibin87 added the type/enhancement The issue or PR belongs to an enhancement. label Mar 11, 2024
@yibin87 yibin87 closed this as not planned Won't fix, can't repro, duplicate, stale Mar 11, 2024
@yibin87
Copy link
Contributor Author

yibin87 commented Mar 11, 2024

Actually duplicated with #51501, no such option for me.

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
@yibin87