I know this is slightly off topic, but I hope still useful enough to not get my head cut off for posting this:

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.


---------------------------(end of broadcast)---------------------------
TIP 6: explain analyze is your friend

Reply via email to