20190924 city.bengaluru: Bengaluru set to get new mayor; deputy on October 1