]> git.cworth.org Git - obsolete/notmuch-old/search
avoid reloading search screen when we add/remove tags