On Wed, Nov 23, 2016 at 10:05:55PM +0100, [email protected] wrote: > Ok, your patch seems correct, but I would like to know if your patch solves > the issue of the commit 4242027, because in this case we can remove the > changes of that commit, which are a bit ugly. Can you verify it?
I reverted 4242027, applied this patch, and it does indeed fix the
problem for me.
--
- Ian.
