This is my suggestion, it should be enabled by default, but disabled
by default if CONFIG_DEFAULT_SMALL is selected.

What do you think?
I would prefer to see it just disabled by default.

Reply via email to