Hi, On Thu, Nov 10, 2022 at 4:06 PM Bastian Germann <b...@debian.org> wrote: > > Please keep the three symbols out of the symbols file or make them optional.
Thanks. We are aware of the issue. Unfortunately, your suggestion will likely cause a build failure on amd64. How do you make the symbols "optional" please? Thanks! Kind regards, Felix Lechner