20180725 city.goa: LED streetlights to be repaired by August-end