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:[email protected] [2]: id:[email protected] _______________________________________________ notmuch mailing list -- [email protected] To unsubscribe send an email to [email protected]
