K 10 svn:author V 6 adrian K 8 svn:date V 27 2011-01-24T07:45:14.734381Z K 7 svn:log V 58 Undo a local option which mistakenly crept into a commit. END