City of Pensacola recently issued the following announcement.
Mayor Grover Robinson and the City of Pensacola wish you and your loved ones a very merry Christmas and happy holidays! We hope you have a wonderful and prosperous new year!
Original source can be found here.