Skip to content

Conversation

@mgsloan
Copy link
Contributor

@mgsloan mgsloan commented Jan 20, 2018

  • Any changes that could be relevant to users have been recorded in the ChangeLog.md
  • The documentation has been updated, if necessary.

@mgsloan mgsloan force-pushed the fix-ghci-autogen-path-3791 branch from 030a442 to 54afd66 Compare April 9, 2018 19:46
@mgsloan mgsloan merged commit 979e613 into master Apr 10, 2018
@mihaimaruseac mihaimaruseac deleted the fix-ghci-autogen-path-3791 branch July 30, 2018 03:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants