Unverified Commit 95c7a17b authored Jun 10, 2020 by Andreas Klöckner Committed by GitHub Jun 10, 2020

Merge pull request #388 from inducer/stop-using-deprecated-jedi-api

Rely on Jedi 0.16+ for Tab completion