No need to resubmit, just edit before the PR gets merged, and it will get picked up.