20170711 city.dehradun: Minor quake hits Uttarakhand