Baunsgaard commented on PR #2081: URL: https://github.com/apache/systemds/pull/2081#issuecomment-2322413900
Thanks, I have now merged it. I took the liberty to add the Jira task myself, and change the ID. However, now that you have an account you can do in the future. Thanks for the easy to look at PRs, It makes it very easy to resolve and merge them. -- 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. To unsubscribe, e-mail: dev-unsubscr...@systemds.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
