Files in tweetnacl/patches/ of trunk

Files in directory tweetnacl/patches from the latest check-in of branch trunk