Project-OSRM/osrm-backend — pull request #1211 by DennisOSRM (2014-10-08 09:03:53+00:00)
Title: Fix #1173

will be merged once CIs give a green light.