This series obsoletes the patch (series)
id:[email protected]
id:[email protected]
id:[email protected]It also includes a proposed fix for the problem reported by Gregor in id:[email protected] _______________________________________________ notmuch mailing list [email protected] https://notmuchmail.org/mailman/listinfo/notmuch
