Re: [Patch] Fix estimator explanation

2019-02-05 Thread Francesco Ariis
On Tue, Feb 05, 2019 at 04:21:36PM -0500, Gershom B wrote: > Sorry for the slow response time. I know you've been on this for a > while. I've now committed those changes to master and they'll be in > the next redeploy. Thanks! Awesome! many thanks Gershom -F

Re: [Patch] Fix estimator explanation

2019-02-05 Thread Gershom B
Sorry for the slow response time. I know you've been on this for a while. I've now committed those changes to master and they'll be in the next redeploy. Thanks! --Gershom On Sun, Feb 3, 2019 at 4:22 PM Francesco Ariis wrote: > > Good evening hackage developers, > please consider merging