I have recently learned that the github mirror of the notmuch repo has not been updated since June of 2024. Maybe we don't need it anymore?
d _______________________________________________ notmuch mailing list -- notmuch@notmuchmail.org To unsubscribe send an email to notmuch-le...@notmuchmail.org
