Until the 19th century, anyone who died in Gibraltar had the right to be buried under the cathedral floor.
19世紀までは、ジブラルタルで死んだ者は誰でもこの教会の床下に埋葬される資格があった。