[rand.dist.samp.plinear] Fix copy & paste error in Mandates - #6794

[rand.dist.samp.plinear] Fix copy & paste error in Mandates#6794

jensmaurer merged 1 commit into

cplusplus:maincplusplus/draft:mainfrom

jwakely:plinearjwakely/draft:plinearCopy head branch name to clipboard