[MlMt] quicker delete

[Benny Kjær Nielsen]

On 13 Mar 2018, at 17:12, Robert Brenstein wrote:

> The first thing I noticed after upgrading to 1.11 is that the deletes 
> are instant. I mean deleting messages that are in the trash mailbox. 
> Up to 1.10, the more messages were in the account and/or trash mailbox 
> of that account, the longer it took to delete them (like watching 
> spinning pizza for 5-10 seconds). No longer !!! All smart mailboxes 
> seem to have more agile, that is displaying faster! Good job,

Thanks. This is a side-effect of the rewritten query system (as I 
mention in the release notes).

-- 
Benny