mapzen/metroextractor-cities — pull request #119 by navajeet (2014-11-09 23:02:23+00:00)
Title: Update cities.json

Dear maker of maps,

Need a metro extract for the city of agra in india. I hope I made the right edits.

Thank you,
Navajeet