Re: merge doesn't remove files

Gerrit Pape [off-list ref] writes:

Shouldn't git remove the original file after merging a commit that moved
the file away?

I think this has been fixed quite a while ago --- does not seem
to reproduce with the current v1.5.0-rc.