The issue with error messages from arguments to rand() is fixed in
r28699; the .pick method has been added as of r28703.  If there are
other unaddressed issues in this ticket, please open new ones.

Thanks!

Pm

Reply via email to