Quick and dirty fix for rand_jitter error type#788

dhardy merged 2 commits into

rust-random:masterrust-random/rand:masterfrom

newpavlov:patch-2newpavlov/rand:patch-2Copy head branch name to clipboard