20201005 city.dehradun: Ahead of festive season; mayor orders marketplaces to be repaired