Question: when did the name of bombay change to mumbai
[{'answer': '1995', 'provenance': [{'wikipedia_id': '850010', 'title': 'Renaming of cities in India', 'start_paragraph_id': 29, 'start_character': 49, 'end_paragraph_id': 29, 'end_character': 53, 'bleu_score': 1.0, 'section': 'Section::::Important examples.:Cities.\n'}]}, {'provenance': [{'wikipedia_id': '19189', 'title': 'Mumbai', 'section': 'Section::::Etymology.\n', 'start_paragraph_id': 9, 'end_paragraph_id': 9, 'meta': {'evidence_span': ['The Government of India officially changed the English name to "Mumbai" in November 1995.', 'The Government of India officially changed the English name to "Mumbai" in November 1995.', 'The Government of India officially changed the English name to "Mumbai" in November 1995.']}}]}, {'provenance': [{'wikipedia_id': '850010', 'title': 'Renaming of cities in India', 'section': 'Section::::Important examples.:Cities.\n', 'start_paragraph_id': 29, 'end_paragraph_id': 29, 'meta': {'evidence_span': ['Mumbai (), from "Bombay", renamed in 1995', 'Mumbai (), from "Bombay", renamed in 1995', 'Mumbai (), from "Bombay", renamed in 1995']}}]}, {'provenance': [{'wikipedia_id': '19189', 'title': 'Mumbai', 'section': 'Section::::Abstract.', 'start_paragraph_id': 1, 'end_paragraph_id': 1, 'meta': {'evidence_span': ['Mumbai (, also known as Bombay , the official name until 1995) is the capital city of the Indian state of Maharashtra', 'Mumbai (, also known as Bombay , the official name until 1995) is the capital city of the Indian state of Maharashtra', 'Mumbai (, also known as Bombay , the official name until 1995) is the capital city of the Indian state of Maharashtra']}}]}]