Commit ef6d85a1a6977b3c367112117ebcd01ac50aa744

Steffen Jaeckel 2018-04-14T14:33:36

don't use rand() in mp_rand() This fixes #103