Hi Piotr, Would you be ok if I push the changes required to fix #830399 and #841043 for src:python-jedi and prepare a team-upload? I need the RC fixed for the packaging of spyder. Cheers, Ghis