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.
