Hi, Leo Prikler <leo.prik...@student.tugraz.at> skribis:
> As pointed out in #45272, it is broken. > > * gnu/packages/gnome.scm (gnome-builder)[#:configure-flags] Add > -Dplugin_jedi=false. Perfect. :-) Applied, thanks! Ludo’.
Hi, Leo Prikler <leo.prik...@student.tugraz.at> skribis:
> As pointed out in #45272, it is broken. > > * gnu/packages/gnome.scm (gnome-builder)[#:configure-flags] Add > -Dplugin_jedi=false. Perfect. :-) Applied, thanks! Ludo’.