RC2 release imminent

Páli Gábor János pali.gabor at gmail.com
Fri Feb 21 13:03:30 UTC 2014


2014-02-21 11:58 GMT+01:00 Gabor Greif <ggreif at gmail.com>:
> 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


More information about the ghc-devs mailing list