Update changelog for Hoogle 5.0.19 #467
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Collaborator
Author
|
@ndmitchell just a gentle reminder. (I don't have Hackage rights to roll out the release myself) |
Owner
|
I've now given you permissions on Hackage. Make a release as you feel is appropriate. Generally, we shouldn't be waiting on me for anything, as I'm just not responsive enough right now, alas. The larger issue is that the hoogle.haskell.org website is something I no longer have permissions. We will need to follow up with the haskell.org maintainers, as I think my account got locked at some point. |
Collaborator
Author
|
Thanks, I'll make a release soon. @jmct could you help us with hoogle.haskell.org permissions? |
|
Yep, I'm on it. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
@ndmitchell how do you feel about making a release soon? I think we are in a good position for it.