On Wed, Dec 21, 2022 at 12:19:47PM -0800, Boqun Feng wrote: > On Wed, Dec 21, 2022 at 06:30:05PM +0100, Frederic Weisbecker wrote: > By "same effect" you mean removing E results in the exist-clause > triggered? If so, then our environments disagree with each other ;-) Nope, removing D :-) (And yeah probably I misread your previous mail and we weren't talking about the same thing...) Thanks.
