K 10 svn:author V 5 andre K 8 svn:date V 27 2004-05-03T16:07:13.000000Z K 7 svn:log V 165 Back out a change that slipped into the previous commit for which other supporting parts have not yet been committed. Remove pre-mature IP options ignoring option. END