#12 Patch header change should not trigger patch body rewrite
Closed: Fixed Opened by fweimer.

If the original patch still produces the same effect, we should reuse the patch even if the patch header changes.


Metadata Update from @fweimer:
- Issue assigned to fweimer

Metadata Update from @fweimer:
- Issue close_status updated to: Fixed
- Issue status updated to: Closed (was: Open)

Metadata