K 10 svn:author V 7 linimon K 8 svn:date V 27 2009-11-10T00:17:20.000000Z K 7 svn:log V 155 Reflect the fact that src-HEAD is now just a symlink to src-9. This dance-step prevents having to introduce some special-case code into the build script. END