 | This disambiguation page does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||
| ||||||||
 | The contents of the Paul Zimmermann page were merged into Paul Zimmerman on July 29, 2021. 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
editI think the likelihood of Paul Zimmerman and Paul Zimmermann being confused is sufficient that there is no need for separate disambiguation pages for these highly similar names. BD2412 T 06:14, 16 July 2021 (UTC)
- Support - these two pages should be merged. Leschnei (talk) 11:48, 20 July 2021 (UTC)
Merge complete
editI went ahead with the merge and checked Paul Zimmermann for incoming links. Leschnei (talk) 12:08, 29 July 2021 (UTC)