Reb com#108

essential-randomness wants to merge 2 commits intomainessential-randomness/essential-random:mainfrom

reb-comessential-randomness/essential-random:reb-comCopy head branch name to clipboard