> Ah I see, but what about the short one: Might be a bug in core.demangle (passing it to the function directly didn't work either).
I'm not sure though.
> Ah I see, but what about the short one: Might be a bug in core.demangle (passing it to the function directly didn't work either).
I'm not sure though.