20200712 city.dehradun: Minor fire due to gas pipeline rupture causes panic in Rudrapur market