>> patch not tested.
> 
> LGTM. In case we missed a glitch, we can still revert the patch later.
> 

Sure, just CC me if anything goes wrong.

Reply via email to