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 -- [email protected] To unsubscribe send an email to [email protected]
