On 2017-03-25 22:22:21 +0000, Tom Lane wrote:
> git rm execQual.c
>
> Should have been in commit b8d7f053c5c2bf2a7e8734fe3327f6a8bc711755,
> but passing the patch back and forth as a patch seems to have dropped
> that metadata.
Ah, thanks. FWIW, using git style patches (git format-patch), gets rid
of that problem, both for additions and deletions... - imo makes life a
good bit easier.
- Andres