Diskussion:Simon Peyton Jones
Letzter Kommentar: vor 14 Jahren von Levin in Abschnitt Ja, wie heißt er denn nun?
Ja, wie heißt er denn nun?
BearbeitenDer QS-Baustein wurde zwar entfernt[1], aber der wilde Mix an Schreibweisen Simon Peyton-Jones / Simon Peyton Jones ist immer noch im Artikel. --Kuebi [∩ · Δ] 12:47, 19. Nov. 2009 (CET)