K 10 svn:author V 6 johans K 8 svn:date V 27 2012-05-29T20:28:20.000000Z K 7 svn:log V 166 - Update to 12.0.2 - Use new options framework - Remove options that are silently ignored by distribution (most of them) - Note: shared lib version number got bumped END