Skip to content
This repository has been archived by the owner on Aug 2, 2020. It is now read-only.

Change permission bits for build.cabal.sh, fixes #517 #520

Merged
merged 1 commit into from
Mar 5, 2018
Merged

Conversation

izgzhen
Copy link
Collaborator

@izgzhen izgzhen commented Mar 5, 2018

No description provided.

@snowleopard
Copy link
Owner

Thanks @izgzhen! The CI seems to be broken, but I'll merge as is.

@snowleopard snowleopard merged commit 7894c96 into master Mar 5, 2018
@snowleopard snowleopard deleted the perm branch March 5, 2018 16:02
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants