#12 Patch header change should not trigger patch body rewrite
Closed: Fixed 6 years ago Opened 6 years ago 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

6 years ago

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

6 years ago

Login to comment on this ticket.

Metadata