On Oct 28, 2013, at 11:24 AM, Jeff Law <l...@redhat.com> wrote: > 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.
No time like the present, I removed it. I did a bootstrap on linux to try and ensure no fallout.