<Li> Orissa → Odisha (4 November 2011) </Li> <P> Notable city names that were officially changed by legislation after independence include: </P> <Ul> <Li> Jabalpur (Hindi: जबलपुर), from Jubbulpore, respelled in 1947 </Li> <Li> Jajmau (Hindi: जाजमऊ), from Jajesmow, respelled in 1948 </Li> <Li> Kanpur (Hindi: कानपुर), from Cawnpore, respelled in 1948 </Li> <Li> Vadodara (Gujarati: વડોદરા), from Baroda, respelled in 1974 </Li> <Li> Thiruvananthapuram (Malayalam: തിരുവനന്തപുരം), from Trivandrum, respelled in 1991 </Li> <Li> Mumbai (Marathi: मुंबई), from Bombay, renamed in 1995 </Li> <Li> Kochi (Malayalam: കൊച്ചി), from Cochin, respelled in 1996 </Li> <Li> Chennai (Tamil: சென்னை), from Madras, renamed in 1996 </Li> <Li> Kolkata (Bengali: কলকাতা), from Calcutta, respelled in 2001 </Li> <Li> Kadapa (Telugu: కడప), from Cuddapah, respelled in 2005 </Li> <Li> Puducherry (Tamil: புதுச்சேரி), from Pondicherry, renamed in 2006 </Li> <Li> Bengaluru (Kannada: ಬೆಂಗಳೂರು), from Bangalore, respelled in 2007 </Li> <Li> Belagavi from Belgaum in 2014 </Li> <Li> Tumakuru from Tumkur in 2014 </Li> <Li> Hubballi from Hubli in 2014 </Li> <Li> Shivamogga from Shimoga in 2014 </Li> <Li> Hosapete from Hospet in 2014 </Li> <Li> Mysuru from Mysore in 2014 </Li> <Li> Kalaburagi from Gulbarga in 2014 </Li> <Li> Chikkamagaluru from Chikmagalur </Li> <Li> Vijapura from Bijapur in 2014 </Li> <Li> Ballari from Bellary in 2014 </Li> <Li> Mangaluru from Mangalore in 2014 </Li> <Li> Rajahmahendravaram from Rajahmundry in 2015 </Li> <Li> Gurugram from Gurgaon in 2016 </Li> </Ul> <Li> Jabalpur (Hindi: जबलपुर), from Jubbulpore, respelled in 1947 </Li>

Who changed the name of bombay to mumbai
find me the text answering this question