Hi, the first patch fixes the problem reported in id:[email protected]. Patch 2/3 is just refactoring. Patch 3/3 is reaction to id:[email protected]; 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 protected] https://notmuchmail.org/mailman/listinfo/notmuch
