Skip to content
This repository has been archived by the owner on Mar 13, 2022. It is now read-only.

[READY] Update Jedi to latest commit #36

Merged
merged 1 commit into from
Aug 20, 2017
Merged

[READY] Update Jedi to latest commit #36

merged 1 commit into from
Aug 20, 2017

Conversation

micbou
Copy link
Collaborator

@micbou micbou commented Aug 13, 2017

Jedi master branch now includes davidhalter/jedi#941 and davidhalter/jedi#942 fixes, and successfully passes ycmd tests.


This change is Reviewable

@vheon
Copy link
Owner

vheon commented Aug 14, 2017

:lgtm: @homu r+


Reviewed 1 of 1 files at r1.
Review status: all files reviewed at latest revision, all discussions resolved.


Comments from Reviewable

@vheon
Copy link
Owner

vheon commented Aug 20, 2017

@zzbot r+

@zzbot
Copy link
Collaborator

zzbot commented Aug 20, 2017

📌 Commit 300767c has been approved by vheon

@zzbot
Copy link
Collaborator

zzbot commented Aug 20, 2017

⌛ Testing commit 300767c with merge 1dc6298...

zzbot added a commit that referenced this pull request Aug 20, 2017
[READY] Update Jedi to latest commit

Jedi master branch now includes davidhalter/jedi#941 and davidhalter/jedi#942 fixes, and successfully passes ycmd tests.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/vheon/jedihttp/36)
<!-- Reviewable:end -->
@zzbot
Copy link
Collaborator

zzbot commented Aug 20, 2017

☀️ Test successful - status-travis
Approved by: vheon
Pushing 1dc6298 to master...

@zzbot zzbot merged commit 300767c into vheon:master Aug 20, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants