Control: close -1 On Sat, Mar 09, 2019 at 09:31:24PM +0000, Pierre Ynard wrote: > Considering that you should be able to do this in the way I mentioned > above, I don't think it's necessary to add such a mechanism - but maybe > I misunderstood your problem. No response. Closing. Mark