[MlMt] smart mailbox not updated

[Benny Kjær Nielsen]

On 22 Feb 2019, at 11:01, chairephon at mailbox.org wrote:

>> If this is the case, have you noticed if it leaves the mailbox at a 
>> later time?
>
> No, it doesn’t leaves the mailbox at a later time. Only if I restart 
> MM it does.

I was actually able to reproduce this over the night (my yesterday 
emails had not left the mailbox), but my attempts to try to reproduce it 
again have failed so far. But I'm on it.

-- 
Benny