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-leave@notmuchmail.org