Patches are easier for the TDE developers, as they allow us to see what has been changed at a glance. If a bug report requires a new file upload, then please attach the original file as well as the new one, so that we can generate difference files internally. Otherwise we cannot commit to GIT for fear of accidentally overwriting some other important bit of the file that changed in the meantime.
Done!
Darrell