To me this seems like a relevant improvement that would catch a problematic 
edge case issue.

 I pushed such a change to the s6 git. A new numbered release should
be cut soon-ish.

--
 Laurent

Reply via email to