K 10 svn:author V 5 crees K 8 svn:date V 27 2011-11-13T09:34:37.000000Z K 7 svn:log V 164 Revert previous commit until properly discussed. It would seem that the Developers list is still incomplete, therefore using it to remove old keys is error prone. END