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.

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

Fixed changelog entry for haddock-package command #8449

Merged
merged 1 commit into from
Sep 7, 2022

Conversation

coot
Copy link
Collaborator

@coot coot commented Sep 3, 2022

  • Fixed changelog entry for haddock-package command

Please include the following checklist in your PR:

Please also shortly describe how you tested your change. Bonus points for added tests!

Copy link
Collaborator

@ulysses4ever ulysses4ever left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@Mikolaj
Copy link
Member

Mikolaj commented Sep 5, 2022

@coot: feel free to set the merge_me label that will merge this in 2 days.

@coot coot added the merge me Tell Mergify Bot to merge label Sep 5, 2022
@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Sep 7, 2022
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 me Tell Mergify Bot to merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants