Skip to content

Conversation

@taozhi8833998
Copy link
Owner

@taozhi8833998 taozhi8833998 commented Dec 1, 2023

@taozhi8833998 taozhi8833998 added the enhancement New feature or request label Dec 1, 2023
@taozhi8833998 taozhi8833998 added this to the 4.12.0 milestone Dec 1, 2023
@taozhi8833998 taozhi8833998 self-assigned this Dec 1, 2023
@taozhi8833998 taozhi8833998 merged commit 109558f into master Dec 1, 2023
@taozhi8833998 taozhi8833998 deleted the feat-double-precision-pg branch December 1, 2023 01:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants