@seb128: It’s something that we phased in Unity and other projects too. IIRC, we unmangled the symbols to arch-independent ones beforehand with a debian helper (in the KDE toolset IIRC)? Do you mind having a look at this? I think that would be a good first set of efforts. If this is not successful then, the current mitigation with marking them optional is OK.
@Till: excellent!
@seb128: It’s something that we phased in Unity and other projects too. IIRC, we unmangled the symbols to arch-independent ones beforehand with a debian helper (in the KDE toolset IIRC)? Do you mind having a look at this? I think that would be a good first set of efforts. If this is not successful then, the current mitigation with marking them optional is OK.