[Issue 17832] std.random.choice cannot be used with other random generators

2017-09-19 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17832 Duncan Paterson changed: What|Removed |Added Status|NEW |ASSIGNED CC|

[Issue 17832] std.random.choice cannot be used with other random generators

2017-09-19 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17832 Anton Fediushin changed: What|Removed |Added CC||fediushin.an...@yandex.ru --

[Issue 17832] std.random.choice cannot be used with other random generators

2017-09-26 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17832 Duncan Paterson changed: What|Removed |Added Assignee|dun...@gmail.com|nob...@puremagic.com --

[Issue 17832] std.random.choice cannot be used with other random generators

2018-01-27 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17832 Seb changed: What|Removed |Added Keywords||pull CC||g

[Issue 17832] std.random.choice cannot be used with other random generators

2018-01-28 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17832 github-bugzi...@puremagic.com changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|-

[Issue 17832] std.random.choice cannot be used with other random generators

2018-01-28 Thread d-bugmail--- via Digitalmars-d-bugs
ommit/7823e1181d0a7e4698b77c7ba5fbbb25dcdebc7e Merge pull request #5741 from dunkyp/issue_17832 Fix Issue 17832 - std.random.choice cannot be used with other random generators --