Hi, I just noticed that a message I untagged in Gmail was not deleted nor tagged as deleted locally. I understand deleting files is complex, but what's wrong with simply tagging the T (trashed) messages as 'deleted'? I'm using synchronize_flags=true. Cheers. -- Felipe Contreras _______________________________________________ notmuch mailing list -- notmuch@notmuchmail.org To unsubscribe send an email to notmuch-leave@notmuchmail.org