Revert "Merge pull request #10534#11820
Conversation
|
The commit message says "This reverts commit 8974189, reversing changes made to 41f5e57". What does reverting 8974189 has to do with 41f5e57? |
|
What is going on with the failing test?? |
|
@Bodigrim, this commit message was automatically generated by Git. On one hand, I don't understand it as well. On the other hand, I didn't want to edit something that Git produces + merge commits are magic anyways. If you propose we cut the ending, I can do it. Do you? |
|
ftr the command was |
|
OK, got it. Sorry for confusion, I think I never used |
|
you have a error I think this could have had an impact? #11703 I think it's just worth changing |
|
thanks a lot @zlonast , will try in a moment |
This reverts commit 8974189, reversing changes made to 41f5e57 as suggested in #11810 (comment)
I assume this patch doesn't change a behaviour of any released cabal, so Template B is appropriate.
Template B: This PR does not modify behaviour or interface
E.g. the PR only touches documentation or tests, does refactorings, etc.
Include the following checklist in your PR: