]> git.cworth.org Git - obsolete/notmuch-old/search
python: remove unused but imported symbol