Skip to content

change jedi patching so that it works for completion even if patching not possible

Sagar Chalise requested to merge (removed):master into master

Tries to address #1105 (closed) and #576 (closed). A new flag IS_JEDI_PATCHED is used.

Merge request reports