This obsoletes
id:[email protected]
But for some reason the key patch 9/10 was missing (at least for me),
so I'm calling this round 1.1.
Most of the comments there apply, except
- I fixed one memory leak in notmuch_message_reindex
- I added a test that reindexing didn't mess up properties
_______________________________________________
notmuch mailing list
[email protected]
https://notmuchmail.org/mailman/listinfo/notmuch
