20160723 city.gurgaon: New name not official; but depts race to please CM with Gurugram