If you haven't made any other changes, you can just

    git add file_to_add
    git commit --amend
    git push origin this-patch-name --force

I do it often for small commits that should have been included in the last one.