don't touch patches when they don't need to be refreshed
silver-platter currently always refreshes patches, but this can in some cases mean changing meaningless things in them (such as patch headers) when they don't need to be refreshed.
silver-platter currently always refreshes patches, but this can in some cases mean changing meaningless things in them (such as patch headers) when they don't need to be refreshed.