davidhalter/jedi — pull request #172 by tkf (2013-03-14 21:18:01+00:00)
Title: ModulePickling should not save old cache when cache_directory is changed

This should fix the Jedi side bug I encountered in #168. See also #171.