Skip to content

Conversation

@Aniket-debug
Copy link
Contributor

Changes proposed in this pull request:

  • fix wording

@pgRouting/admins

@cvvergara cvvergara added this to the Release 3.5.1 milestone Mar 28, 2023
@cvvergara
Copy link
Member

I am wondering, why the 2 PR are different.
Didnt you do a cherry-pick?

Copy link
Member

@cvvergara cvvergara left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The changes are not the same as in #2489

@Aniket-debug
Copy link
Contributor Author

I added the same commit now.

@cvvergara cvvergara merged commit 2419dd9 into pgRouting:main Apr 6, 2023
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