Mihai Maruseac
Mihai Maruseac
Interesting. I was a little bit out of the loop, but I think it is a good idea.
Awesome. Please CC me on the PR so it raises to the top of my notifications. Thank you for working on it!
Yes, I am currently working on a fix to support newer GHC. Though this is a side project and I'm swamped with work for job so this will take slightly...
So this seems to fail CI on Stack only (3/3 attempts). Will likely need more work.
(Testing to see if this works now. If it doesn't, will look more into this later, after the next release)
@jlevy any issue with this one?
It did not show as merged here because copybara sync was broken. Fixed in big squash commit 49f97f135a2e1d5d22e60d2a80ec668d53f9708a
Don't merge PRs. They get converted to internal CLs, reviewed there and then merged via Copybara 
Last day these spammers can get their PRs for a t-shirt. I really wish Hacktoberfest would count merged PRs instead of opened PRs.
We don't generally assign issue to contributors. Instead, please send a PR when ready.