The actual fix here is quite trivial, but it takes some work to test. Compared to the previous version in the thread at [1], this updates the 3rd patch in the series to actually duplicate the problem, and adds the 4th patch with the actual fix.
[1]: id:[email protected] _______________________________________________ notmuch mailing list -- [email protected] To unsubscribe send an email to [email protected]
