Sander @ February 19 at 11:44 am

GitHub, if you read this, please let me change the default e-mail address associated with my employer GitHub organisation to my work address, so that by default I don't have to change it from my personal one, when merging PRs. Thanks.