Closed bgamari closed 4 years ago
Ping.
Is there a timeline? I'll try to get some time to make a new release this week.
As soon as possible. I'm cutting the release candidate now so we will need the release within two weeks, when we expect the final release.
Any update on this, @kolmodin ?
Done. Sorry, it fell off the radar. Based on on the commit you suggested, bumped to 0.8.8.0. f9b1c92a2ff34cc3457fa27faf3e16b8203b4b9f
GHC 8.10.1 will ship with
binary
based on dfaf780596328c9184758452b78288e8f405fcc1 (unless another commit is requested). It would be great to cut a release from this commit.