Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Improve bindist makefile #2746

Merged
merged 4 commits into from
Mar 4, 2022
Merged

Improve bindist makefile #2746

merged 4 commits into from
Mar 4, 2022

Conversation

hasufell
Copy link
Member

@hasufell hasufell commented Mar 3, 2022 •
edited by gitpod-io bot
Loading

@hasufell hasufell force-pushed the improve-bindist-makefile branch from 8c5a3f6 to f94f516 Compare March 3, 2022 10:44
@hasufell hasufell added this to the 1.7 milestone Mar 3, 2022
@hasufell hasufell mentioned this pull request Mar 3, 2022
Closed
25 tasks
@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Mar 3, 2022
@hasufell
Copy link
Member Author

hasufell commented Mar 3, 2022

Don't merge, freebsd is broken

@mergify mergify bot merged commit 4ec1a43 into haskell:master Mar 4, 2022
@hasufell
Copy link
Member Author

hasufell commented Mar 4, 2022

Ehm

@pepeiborra
Copy link
Collaborator

Next time, remove the "merge me" label as well. I have given you maintainer rights in case you tried and couldn't

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@pepeiborra pepeiborra pepeiborra approved these changes

Assignees
No one assigned
Labels
merge me Label to trigger pull request merge
Projects
None yet
Milestone
1.7
Development

Successfully merging this pull request may close these issues.
2 participants
@hasufell @pepeiborra