santiagorr@riseup.net writes: > Really sorry, I needed to be even more careful. But as you said, I don't > think it is worth to fix it giving the context. Not sure if it even matters. There is still a new exported symbol, even if it was marked as private. Think you still would have had to restart all processes anyway. -- Brian May <bam@debian.org>