Devhelp flatpak fails to run since rebase to 1.8 freedesktop runtime
I now have this error:
$ flatpak run --verbose org.gnome.Devhelp F: Opening user flatpak installation at path /home/seb/.local/share/flatpak F: No installations directory in /etc/flatpak/installations.d. Skipping F: Opening user flatpak installation at path /home/seb/.local/share/flatpak F: Opening system flatpak installation at path /var/lib/flatpak F: Disallowing network access F: Allowing dri access F: Allowing host-fs access F: Allowing wayland access F: Allowing x11 access devhelp: error while loading shared libraries: libdevhelp-3.so.5: cannot open shared object file: No such file or directory
The Devhelp flatpak manifest is here: https://git.gnome.org/browse/devhelp/tree/flatpak
It uses the nightly GNOME SDK.