Use getrandom() in Linux if it's available#14

oittaa wants to merge 1 commit intomicrosoft:mastermicrosoft/PQCrypto-SIDH:masterfrom

oittaa:patch-1oittaa/PQCrypto-SIDH:patch-1Copy head branch name to clipboard