bug#45272: [PATCH v3] gnu: gnome-builder: Disable jedi plugin.

[Ludovic Courtès]

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