Re: [bug-patch] in 2.7.1, empty directories are not removed

[Andreas Grünbacher]

Thomas,

thanks for the bug report. The directory wasn't being removed because
patch didn't remove the temporary output file in there early enough
and so the directory wasn't empty yet. I have pushed a fix to the git
repository.

Thanks,
Andreas