Commit 86648a0d230a7c938be4e9a27c48caf79f8a8845

Steffen Jaeckel 2019-11-13T15:55:01

Merge pull request #456 from libtom/mp-has-comment s_mp_rand_platform: add comment regarding MP_HAS requiring dead code elim