Please ignore this. It seems that the option is needed, because it does
not have a default. A different way to solve this is needed. Will post
another patch.

Marek

Reply via email to