Commit eb3d71a5bcd78cb4840e62194e8998141508af88

nulltoken 2012-04-25T22:23:35

diff: fix generation of the header of a removal patch