K 10 svn:author V 4 rene K 8 svn:date V 27 2012-11-30T12:26:25.654702Z K 7 svn:log V 114 Now that developers.ent is merged in authors.ent, remove the former and change the definitions to use the latter. END