Commit 198418ba5e4b24da61d22cfd9d1ce81a1f286dff
2019-05-14T20:39:33
bugfix: don't revert to platform rand source, but to jenkins source!
bugfix: don't revert to platform rand source, but to jenkins source!