Hey mantid-download! An email address (sschomann(a)googlemail.com) was added to your account. Visit https://github.com/settings/emails to review email addresses currently associated with your account. To see this and other security events for your account, visit https://github.com/settings/security-log If you run into problems, please contact support by visiting https://github.com/contact Thanks, The GitHub Team