K 10 svn:author V 6 emaste K 8 svn:date V 27 2012-02-28T19:50:14.991343Z K 7 svn:log V 78 Revert r232260. The problem is now fixed by a general workaround in r232267. END