This should be dealt with a different PR and a different ticket accordingly.  Attempting to slide such a change into an unrelated PR won't fly with the dev team.