Closed joachim-n closed 6 years ago
To reproduce:
Hello @joachim-n ,
today symbols-list 2.5.1 was released, which fixes this problem. I'll close this issue for now.
Have a nice day!
Cheers, Marco
To reproduce: