20170615 city.noida: Patching machine to repair Noida roads