Skip to content

Remove stale see 'withSourceCopyDir' #9750

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

Merged

Conversation

philderbeast
Copy link
Collaborator

Noted in the review of #9717 but somehow missed, removes a reference to a deleted function.

@philderbeast philderbeast force-pushed the remove/stale-comment-withSourceCopyDir branch from 5c32335 to 54b26f4 Compare March 3, 2024 01:39
@alt-romes alt-romes added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Mar 4, 2024
@philderbeast philderbeast added merge+no rebase and removed merge me Tell Mergify Bot to merge labels Mar 4, 2024
@philderbeast
Copy link
Collaborator Author

Label merge+no rebase is necessary when the pull request is from an organisation.

@philderbeast
Copy link
Collaborator Author

Thanks for the approval @alt-romes.

@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Mar 6, 2024
@mergify mergify bot merged commit ec71d1f into haskell:master Mar 6, 2024
@Kleidukos
Copy link
Member

@Mergifyio backport 3.12

Copy link
Contributor

mergify bot commented May 13, 2024

backport 3.12

✅ Backports have been created

mergify bot added a commit that referenced this pull request May 13, 2024
Remove stale see 'withSourceCopyDir' (backport #9750)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge+no rebase
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants