Re: paths in diff output (possible bug)

[Stefan Sperling]

On Tue, May 15, 2012 at 10:48:13AM +0200, Stefan Sperling wrote:
> Ah, yes, you are right. We should filter deleted props, too.

Done in r1338688.