Fix is fixed upstream in https://git.gnome.org/browse/gnome-builder/commit/?id=a37cf9bf777a3dcc7cecdc351cdf8e7cf3b702a3
Fix is fixed upstream in https:/ /git.gnome. org/browse/ gnome-builder/ commit/ ?id=a37cf9bf777 a3dcc7cecdc351c df8e7cf3b702a3