This completes the planned overhaul of configuration handling. It obsoletes [1], and needs to be applied on top of [2]. I will post a rebased version of [2] fairly soon. [1]: id:20210220164448.3956011-1-david@tethera.net [2]: id:20210208004109.1192719-1-david@tethera.net _______________________________________________ notmuch mailing list -- notmuch@notmuchmail.org To unsubscribe send an email to notmuch-leave@notmuchmail.org