indexopts cleanup

Subject: indexopts cleanup

Date: Sat, 12 Jun 2021 10:26:15 -0300

To: notmuch@notmuchmail.org

Cc:

From: David Bremner


Working on a potential new feature that adds a new index option, I
made a few cleanups that I think are worthwhile as a standalone change.

_______________________________________________
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to notmuch-leave@notmuchmail.org

Thread: