Merge 'dev1linux' to 'master' (#16)#68

quanne200679 wants to merge 5 commits into

sphincs:mastersphincs/sphincsplus:masterfrom

quannguyen247:testquannguyen247/sphincsplus-dev:testCopy head branch name to clipboard