On 10/26/13 15:08, Joseph S. Myers wrote:
As far as I can see, the commit left empty libmudflap directories around rather than removing them (SVN, unlike git, allows empty directories to be represented in the repository).
I'll check out an SVN tree and remove the empty directory.
jeff