Please ignore this patch. Apparently, it is not enough to fix the issue. A proper fix is available in [1].
Regards, Dmitry [1] id:"[email protected]" _______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
