This obsoletes id:[email protected] I have updated patch 2/3 based on discussions with Olly and Tomi.
Olly gave the previous series thumbs up on IRC, so I'll probably merge this version if I don't here any corrections. d _______________________________________________ notmuch mailing list -- [email protected] To unsubscribe send an email to [email protected]
