K 10 svn:author V 6 ehaupt K 8 svn:date V 27 2013-05-31T11:12:58.946066Z K 7 svn:log V 30 Chase devel/libexplain update END