Skip to content
GitLab
Explore
Sign in
Bliss
bliss
Merge requests
!1479
requirements: pin-point jedi version to 0.14.1 until it is safe to move to 0.15
Code
Review changes
Check out branch
Download
Patches
Plain diff
Matias Guijarro
requested to merge
jedi-0.14.1
into
master
Aug 13, 2019
Overview
0
Commits
1
Pipelines
1
Changes
2
Expand
Related to
#947 (closed)
Merge request reports