The source project of this merge request has been removed.
change jedi patching so that it works for completion even if patching not possible
Tries to address #1105 (closed) and #576 (closed). A new flag IS_JEDI_PATCHED
is used.
Tries to address #1105 (closed) and #576 (closed). A new flag IS_JEDI_PATCHED
is used.