20180714 city.bengaluru: Shortest budget session ends