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

fixed exec permission #626

Merged
merged 1 commit into from
Nov 20, 2019
Merged

fixed exec permission #626

merged 1 commit into from
Nov 20, 2019

Conversation

andreasbrett
Copy link
Contributor

as requested in #581 (comment)

@MiczFlor
Copy link
Owner

Hi @andreasbrett
I don't see any changes in this pull request (check the tab "Files changed").

@andreasbrett
Copy link
Contributor Author

That's because the tab only shows the changes of file contents not changes in metadata (like file permissions).

@MiczFlor MiczFlor changed the base branch from master to develop November 20, 2019 16:02
@MiczFlor MiczFlor merged commit d80fe7d into MiczFlor:develop Nov 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@andreasbrett @MiczFlor