Hi, the first patch fixes the problem reported in id:email@example.com. Patch 2/3 is just refactoring. Patch 3/3 is reaction to id:firstname.lastname@example.org; I'm not sure whether it addresses exactly what David had in mind, but IMHO it is an improvement.
Cheers. -Michal _______________________________________________ notmuch mailing list email@example.com https://notmuchmail.org/mailman/listinfo/notmuch