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

Expose DisplayTHWarning (backport #2712) #2714

Merged
merged 1 commit into from
Feb 14, 2022
Merged

Expose DisplayTHWarning (backport #2712) #2714

merged 1 commit into from
Feb 14, 2022

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Feb 14, 2022 •
edited by gitpod-io bot
Loading

This is an automatic backport of pull request #2712 done by Mergify.

Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

@pepeiborra
Expose DisplayTHWarning (#2712)
0c07bf4 
* Expose DisplayTHWarning

* Bump ghcide version number

(cherry picked from commit fc8cc9e)
@mergify mergify bot mentioned this pull request Feb 14, 2022
Merged
@pepeiborra pepeiborra merged commit c2ab2ab into 1.6.1.1-hackage Feb 14, 2022
@mergify mergify bot deleted the mergify/bp/1.6.1.1-hackage/pr-2712 branch February 14, 2022 21:15
# for free to join this conversation on GitHub. Already have an account? # 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.
1 participant
@pepeiborra