> I reverted 4242027, applied this patch, and it does indeed fix the
> problem for me.

Applied.


Reply via email to