K 10 svn:author V 6 johans K 8 svn:date V 27 2015-11-20T20:28:54.114323Z K 7 svn:log V 111 Correct distinfo No, the distribution has not changed: I managed to commit a bad entry :( Tested and verified. END