Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Patch 1 #71

Closed
wants to merge 7 commits into from
Closed

Patch 1 #71

wants to merge 7 commits into from

Conversation

odespard
Copy link

@odespard odespard commented Jul 2, 2024

I added a paragraph to the Installation section to explain an alternative means of downloading mono which circumvented an error which arose when installing it using homebrew.

jalew188 and others added 6 commits March 16, 2024 08:36
I added an alternative means of downloading an older version of mono which avoids an error on the Mac M1 platform.
I fixed a typographical error.
Copy link

@mschwoer mschwoer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

congrats to your first PR :-)
maybe this fixes also the issue I had with mono in Docker on M3 ..

README.md Show resolved Hide resolved
@jalew188 jalew188 changed the base branch from main to development July 2, 2024 11:46
@jalew188
Copy link
Collaborator

jalew188 commented Jul 3, 2024

Thank you @odespard for this fix. I think the testing failure is because the main branch is out-of-date in testing settings, please checkout the development branch and then add the fix there.

@odespard
Copy link
Author

odespard commented Jul 3, 2024

OK. I have forked from the Development branch and opened a new pull request. I hope that works.

@jalew188 jalew188 closed this Jul 3, 2024
@odespard odespard deleted the patch-1 branch July 3, 2024 10:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants