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

Yes, sorry about that. Did not mean to cloud your contributions, but the automatic merge did not work. I merged it more or less manually. At times Git troubles me.