Hi, Does anyone know what to do in order to have the automatic notifications go to [email protected] instead of dev@ ? I suspect that I should file an INFRA ticket to request that, but I wanted to make sure that is the right step before doing it. An answer from the mentors would be welcome.
Thank you, Adina -- Dr. Adina Crainiceanu http://www.usna.edu/Users/cs/adina/
