Oops, that wasn't intentional, it must have happened during my merge operation. Do I need to send a new pull request or can I simply re-commit this file?