Files in tweetnacl/patches/ of f08c39c4fee372be

Files in directory tweetnacl/patches of check-in f08c39c4fee372be