K 10 svn:author V 3 imp K 8 svn:date V 27 2018-10-26T16:34:19.150851Z K 7 svn:log V 123 Remove empty directories after r339776. git svn won't remove empty directories without --rmdir which I forgot in r339776. END