Skip to content

Flatbuffers is not a boost::optional friendly#5566

Merged
gardster merged 1 commit intoProject-OSRM:masterfrom
akashihi:flatbuffernosoptional
Oct 2, 2019
Merged

Flatbuffers is not a boost::optional friendly#5566
gardster merged 1 commit intoProject-OSRM:masterfrom
akashihi:flatbuffernosoptional

Conversation

@akashihi
Copy link
Copy Markdown
Contributor

@akashihi akashihi commented Oct 1, 2019

@akashihi akashihi force-pushed the flatbuffernosoptional branch from ea87dbe to 016c77a Compare October 1, 2019 14:26
@gardster gardster merged commit f520379 into Project-OSRM:master Oct 2, 2019
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