Skip to content

update pgrx ver in build#27

Merged
ChuckHend merged 1 commit intomainfrom
update-build
Nov 21, 2023
Merged

update pgrx ver in build#27
ChuckHend merged 1 commit intomainfrom
update-build

Conversation

@ChuckHend
Copy link
Copy Markdown
Owner

No description provided.

@ChuckHend ChuckHend marked this pull request as ready for review November 21, 2023 17:31
@ChuckHend ChuckHend merged commit 67c3132 into main Nov 21, 2023
@ChuckHend ChuckHend deleted the update-build branch November 21, 2023 17:31
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.

1 participant