Changes

{{succession box | before = [[?Warren Briggs]] | title = [[Mayors of Pensacola|Mayor of Pensacola]] | years = 1977—1991 | after = [[John FoggJerry Maygarden]]}}