2014-02-21 11:58 GMT+01:00 Gabor Greif <[email protected]>: > The funny thing is that Pali (without the accent) is a nickname for > Pál (translated: Paul). > But surely he is never called this way :-)
Well, it does not really matter for me :-) I am aware I may confuse non-Hungarians, because I use my name in many different ways, with and without accents, I do not have a signature in my messages -- so I am fine whatever I am called until it uniquely determines me. But yeah, I am Gabor too; but apparently we have a lot of Gabors here already :-P _______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
