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)
Login to comment on this ticket.