Commit 02e4f372 authored by erwan's avatar erwan

Fix: rdbgui4sasa is part of the rdbgui4sasa opam package (which broke its opam install)

parent cbe5adce
Pipeline #46943 passed with stages
in 16 minutes and 6 seconds