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.

Sign up for GitHub

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

Jump to bottom

Fix init script default #132

Merged
merged 1 commit into from
Jun 22, 2020
Merged

Fix init script default #132

merged 1 commit into from
Jun 22, 2020

Conversation

Theodus
Copy link
Contributor

@Theodus Theodus commented Jun 22, 2020

Fixes #131

@Theodus Theodus requested a review from SeanTAllen June 22, 2020 00:28
@Theodus
Copy link
Contributor Author

Theodus commented Jun 22, 2020 •
edited
Loading

I had made this fix when testing in a Fedora docker container. And apparently I forgot that that wasn't a filesystem that would be reflected in the previous PR.

@Theodus
Copy link
Contributor Author

Theodus commented Jun 22, 2020

@SeanTAllen should we update the README to fetch the init script from the master branch until the next release?

@SeanTAllen SeanTAllen added the changelog - fixed Automatically add "Fixed" CHANGELOG entry on merge label Jun 22, 2020
@SeanTAllen
Copy link
Member

@Theodus I'll do another release this evening.

@SeanTAllen SeanTAllen closed this Jun 22, 2020
@SeanTAllen SeanTAllen reopened this Jun 22, 2020
@SeanTAllen SeanTAllen merged commit c799f50 into master Jun 22, 2020
@SeanTAllen SeanTAllen deleted the mistakes-were-made branch June 22, 2020 01:09
github-actions bot pushed a commit that referenced this pull request Jun 22, 2020
@ponylang-main
Update CHANGELOG for PR #132 [skip ci]
5f85922
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@SeanTAllen SeanTAllen Awaiting requested review from SeanTAllen

Assignees
No one assigned
Labels
changelog - fixed Automatically add "Fixed" CHANGELOG entry on merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

[macOS] error: unknown command at: 'platform'
2 participants
@Theodus @SeanTAllen