On Sat, 12 Nov 2011 04:08:45 +0400, Dmitry Kurochkin <dmitry.kurochkin@gmail.com> wrote: > Hi all. > > Any objections to this trivial patch? Can we get it pushed? > Appears to have been deprecated in favor of the original patch: id:"1309762025-1172-1-git-send-email-dmitry.kurochkin@gmail.com" See commit e972d752. > Regards, > Dmitry > _______________________________________________ > notmuch mailing list > notmuch@notmuchmail.org > http://notmuchmail.org/mailman/listinfo/notmuch Peace -- Pieter