
<html><head></head><body><div>On Tue, 2023-12-26 at 06:07 +0100, Helmut Grohne wrote:</div><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"><div>In principle, I agree here. For them to become M-A:same they must first<br></div><div>become A:any as M-A:same is not valid for A:all. The question that is<br></div><div>not clear to me is whether this is worth the effort, i.e. whether it<br></div><div>poses a practical difference to any actual use case. And of course the<br></div><div>answer to this question may change over time.<br></div></blockquote><div>Please review this patch, and I'll upload it if you find it OK.</div><div><span><pre>-- <br></pre><pre>Cheers,

Abou Al Montacir

</pre></span></div></body></html>