DennisOSRM/Project-OSRM — comment on commit 9eb73f93063f4386bf74a84ad0f82856df481890
File:  line 0
By DennisOSRM:

Yes, and already fixed. Will be pushed to master repo later.