Skip to content

Nested namespace#6480

Merged
DennisOSRM merged 4 commits intomasterfrom
nested_namespace
Dec 21, 2022
Merged

Nested namespace#6480
DennisOSRM merged 4 commits intomasterfrom
nested_namespace

Conversation

@DennisOSRM
Copy link
Copy Markdown
Collaborator

It's a mechanical change to modernize the code base

edge_container.MakeEdgeFilters()};
}
} // namespace contractor
} // namespace osrm
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

nit. would be great to reflect this in such comments too(if possible to do in automated fashion ofc)

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

fair point. I am afraid those are hard to do in an automated way, tho.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Then I think it is not big problem if we keep it like this

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

I spoke too early. The latest push to this PR should fix the closing namespace annotation.

@DennisOSRM DennisOSRM marked this pull request as ready for review December 20, 2022 17:39
@DennisOSRM DennisOSRM merged commit 95c4523 into master Dec 21, 2022
@DennisOSRM DennisOSRM deleted the nested_namespace branch December 21, 2022 17:27
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.

2 participants