Skip to content

bump pg_query version#31

Closed
imor wants to merge 1 commit intomainfrom
fix/bump-pg-query
Closed

bump pg_query version#31
imor wants to merge 1 commit intomainfrom
fix/bump-pg-query

Conversation

@imor
Copy link
Copy Markdown
Contributor

@imor imor commented Sep 12, 2023

@psteinroe
Copy link
Copy Markdown
Collaborator

thanks! I have included this in #4

@psteinroe psteinroe closed this Sep 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants