On Wed, Apr 17, 2019 at 1:53 PM Antonio SJ Musumeci <trapexit@xxxxxxxxxx> wrote: > > On Wed, Apr 17, 2019 at 9:30 AM Miklos Szeredi <miklos@xxxxxxxxxx> wrote: > > If you can easily test it, than that would be good, otherwise I'll > > just queue the patch as being obviously correct and likely fixing the > > bug as well. > > Thanks. I'll try to test it this evening. That was it. Seems to be working fine now. Thanks.
