I'm not sure if we want to do this yet (3.0.3 was released in October 2017), but if we do, we could start like this. d _______________________________________________ notmuch mailing list notmuch@notmuchmail.org https://notmuchmail.org/mailman/listinfo/notmuch