[galaxy-user] Galaxy user list

Hi, I'm not using Galaxy right now and I therefore would like to exit the user-list so that I don't get e-mails regarding Galaxy any more. Thank you very much! Best Regards Lisette