Skip to content

Resolve "CI: jedi update causes problem with autocompletion"

Matias Guijarro requested to merge 3883-ci-jedi-update-causes-problem-with-autocompletion into master

Closes #3883 (closed) !5270 (closed)

Edited by Wout De Nolf

Merge request reports