Hi,
I know this is slightly off topic, but I hope still useful enough to not
get my head cut off for posting this:
http://developer.postgresql.org/index.php/IRC2RWNames
This is essentially a mapping of IRC nicks to real world names. While
maintaining the wishlist I keep forgetting the IRC nicks of people to
map to from the wishlist real world names. But I think this could be
generally useful, so I started the list. Please mail me off list with
whatever editions people have.
regards,
Lukas
