Hi Tomi, I made the changes for case insensitivity and I much prefer that.
Perhaps it could be an option if you like it the other way around. Kind regards Bart _______________________________________________ notmuch mailing list notmuch@notmuchmail.org http://notmuchmail.org/mailman/listinfo/notmuch
