You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@systemds.apache.org by "saschimi9 (via GitHub)" <gi...@apache.org> on 2023/05/09 16:03:29 UTC

[GitHub] [systemds] saschimi9 opened a new pull request, #1822: Update run.md

saschimi9 opened a new pull request, #1822:
URL: https://github.com/apache/systemds/pull/1822

   Added additional help when facing an error related to the version of `realpath` that comes with MacOS 13. This version of realpath is rudimentary and should be exchanged with the homebrew version.


-- 
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-unsubscribe@systemds.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


[GitHub] [systemds] Baunsgaard commented on pull request #1822: Update run.md

Posted by "Baunsgaard (via GitHub)" <gi...@apache.org>.
Baunsgaard commented on PR #1822:
URL: https://github.com/apache/systemds/pull/1822#issuecomment-1541581793

   Thanks for the comment, and it is merged!


-- 
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-unsubscribe@systemds.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


[GitHub] [systemds] Baunsgaard closed pull request #1822: Update run.md

Posted by "Baunsgaard (via GitHub)" <gi...@apache.org>.
Baunsgaard closed pull request #1822: Update run.md
URL: https://github.com/apache/systemds/pull/1822


-- 
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-unsubscribe@systemds.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org