>>>>> "Bernhard" == Bernhard Reutner-Fischer <rep.dot.nop at gmail.com> writes: Bernhard> Use of OABI is strongly discouraged since years now. Committed, thanks! -- Bye, Peter Korsgaard