On Thu, Aug 10, 2017 at 04:49:13PM +0200, Alexandre Ratchov wrote: > On Thu, Aug 10, 2017 at 10:39:36AM -0400, Theo Buehler wrote: > > > > Here's a diff that takes these comments into account. I've been running > > with this since quite some time and it silences the annoying noises. > > > > Can we get this in? > > > > I'm running with exactly the same diff, but forgot to commit it; so, > sure, put it in! > > ok ratchov >
I just committed this. Thanks, Manuel!
