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’.



Reply via email to