messages: «L'église a été élevée au rang de cathédrale en 1842, avec la création du diocèse de Gibraltar, au moment de l'intronisation de George Tomlinson comme premier évêque de Gibraltar en Europe.[1]»
  Please weave this story into English
messages: user
messages: «It was raised to cathedral status in 1842, with the creation of the Diocese of Gibraltar at the time of enthronement of George Tomlinson as the first Bishop of Gibraltar in Europe.»
messages: assistant