Skip to content

Conversation

robe2
Copy link
Member

@robe2 robe2 commented Jul 18, 2023

master branch was renamed to main a while ago, but README still talking about master branch

master branch was renamed to main a while ago, but README still talking about master branch
@robe2 robe2 requested a review from cvvergara July 18, 2023 21:24
@robe2 robe2 merged commit 91268f9 into pgRouting:main Jul 18, 2023
@cvvergara cvvergara added this to the Release 3.5.1 milestone Oct 19, 2023
@robe2 robe2 deleted the robe2-master-main-for-main-branch branch October 23, 2023 04:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants