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.

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

rename to pg_stringtheory #1

Merged
merged 1 commit into from
Jan 22, 2024
Merged

rename to pg_stringtheory #1

merged 1 commit into from
Jan 22, 2024

Conversation

wuputah
Copy link
Member

@wuputah wuputah commented Jan 22, 2024

I've only run make on this locally.

@wuputah wuputah requested a review from JerrySievert January 22, 2024 22:33
@wuputah wuputah force-pushed the jd/rename-to-stringtheory branch 2 times, most recently from 2f02d79 to 34ef963 Compare January 22, 2024 22:42
@wuputah wuputah force-pushed the jd/rename-to-stringtheory branch from 34ef963 to ca8e4d3 Compare January 22, 2024 22:51
@wuputah wuputah merged commit a9d201f into main Jan 22, 2024
6 checks passed
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