Skip to content

Conversation

berberman
Copy link
Collaborator

No description provided.

@berberman berberman requested a review from pepeiborra April 11, 2021 09:06
@berberman berberman mentioned this pull request Apr 11, 2021
@pepeiborra
Copy link
Collaborator

Looks great, you even added the new version tag to bench/config.yml !

@berberman berberman merged commit 0227133 into master Apr 11, 2021
@berberman berberman deleted the prepare-ghcide-1.2.0 branch April 11, 2021 12:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants