Hey! looks like a PR that was merged into develop is currently causing segmentation faults from time to time. I'm currently investigating and as such the server will have some mixed uptime today.
Cheers, Patrick _______________________________________________ OSRM-talk mailing list [email protected] https://lists.openstreetmap.org/listinfo/osrm-talk
