davidhalter/jedi — pull request #97 by jjay (2012-12-28 08:21:37+00:00)
Title: Remove duplicates from completions list.

Fixes #92.