is it possible to change my nick name on the mail list? Gmail tells me it changes, but I still see the same nick. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20130729/5509276f/attachment.htm>