Am 10.03.19 um 05:39 schrieb أحمد المحمودي: > I'd rather remove the symbols file.
That's the last option in my eyes as it's a step backwards and is absolutely not needed as I fixed the problem already. The main problem with the symbols is that the symbols are simply not versioned and that's an upstream problem. -- Regards Carsten Schoenert
