Talk:Pensacola Historic District
Latest comment: 1 year ago by Joyous! in topic Merge proposal
![]() | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||
|
![]() | The contents of the Historic Pensacola's Museum of Commerce page were merged into Pensacola Historic District on 7 March 2023. For the contribution history and old versions of the redirected page, please see its history; for the discussion at that location, see its talk page. |
![]() | The contents of the Historic Pensacola's Bowden Building page were merged into Pensacola Historic District on 7 March 2023. For the contribution history and old versions of the redirected page, please see its history; for the discussion at that location, see its talk page. |
![]() | The contents of the Historic Pensacola Village page were merged into Pensacola Historic District on 11 January 2018. For the contribution history and old versions of the redirected page, please see its history; for the discussion at that location, see its talk page. |
Proposed merge
editAre the district and the village completely coterminous? I know the village is in the district, but I don't believe it is the entire district. --‖ Ebyabe talk - Attract and Repel ‖ 19:10, 7 December 2015 (UTC)
- If not, perhaps someone familar with the district and village can help distinguish. I proposed a merger because, as written, the articles seem to be about the same thing. Accurizer (talk) 01:38, 8 December 2015 (UTC)
- Agreed and Done as a section merge, in case there is a difference (as some evidence suggests). Klbrain (talk) 17:35, 11 January 2018 (UTC)
Merge proposal
editIt seems reasonable to merge Historic Pensacola's Bowden Building and Historic Pensacola's Museum of Commerce here for context (March proposal). Klbrain (talk) 22:55, 29 August 2022 (UTC)
- Support per nomination. Seeing as the section above from 2015 has the same concerns, I think you can proceed with the merge. – The Grid (talk) 16:10, 10 January 2023 (UTC)
- Merger complete. Joyous! Noise! 04:19, 7 March 2023 (UTC)