Re: [PATCH] Prevent segmentation fault in notmuch_database_close