mailing lists ...

Currently, autoproj checks for undefined symbols in libraries *at each
build*. This definitely does not scale since it takes ages to run in big
projects.

I therefore would like to remove it.

Opinions ?