[v3] More work on <random>, updates to N2914

[Paolo Carlini]

... forgot this bit. Also committed to mainline.

Paolo.

//////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_random_5_m
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20090630/f7c0879d/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_random_5_m
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20090630/f7c0879d/attachment-0001.ksh>