Closed bgamari closed 7 years ago
@judah it would be great to get this in soon; GHC 8.0.2 is currently blocked on it.
Judah Jacobson notifications@github.com writes:
Merged #48. Thanks Judah!
Merged #48.
Thanks Judah!
@judah it would be great to get this in soon; GHC 8.0.2 is currently blocked on it.