lederb commented on pull request #1239: URL: https://github.com/apache/systemds/pull/1239#issuecomment-828456254
Thanks for approving the PR and also for noting the email mix-up. Do you think it would be a bad idea if I amend my last commit, change the authorship and force push it to my repo? Could this mess anything up? Otherwise, I just added my work email to the account. cheers, Bernhard -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
