K 10 svn:author V 6 marcus K 8 svn:date V 27 2006-02-06T19:41:28.000000Z K 7 svn:log V 43 Update to 2.12.3, and switch to @dirrmtry. END