Closed robe2 closed 1 year ago
Hi @cayetanobv, (CC: @robe2, @cvvergara, @smellman)
I think that this is obvious fix, so merging this to master
branch is helpful.
(Unless that, my working PR:#55 branch may conflict later.)
Hi @sanak , that's true, you will have conflicts for sure with your branch. We have two alternatives:
What do you think?
Hi @cayetanobv, Thanks for confirmation.
We can merge this PR and you need to fix later the conflicts in your branch.
I prefer this way. After this PR is merged, then I will rebase PR:#55 branch.
Ok, I'm going to merge this PR, and after that, you can start dealing with these changes in your PR. Thanks for your work @sanak
Okay, thanks, too!
Fixes # .
Changes proposed in this pull request:
@pgRouting/admins