faster random number engine

[Paolo Carlini]

On 09/05/2012 11:53 AM, Paolo Carlini wrote:
> On 08/30/2012 06:37 PM, Benjamin De Kosnik wrote:
>> Nice! Thanks.
>>
>> Here's a small patchlet to set the abi version to .18. With this,
>> check-abi will pass.
>>
>> tested x86/linux
> Benjamin, is this still uncommitted? I'm seeing abi_check failing...
Ok, now I see that the patch is in and a default configured build is 
fine abi-wise. Sorry about the false alarm.

If you are curious, the reason why I sent the message is that adding 
--enable-libstdcxx-time=rt (which should be more or less the default in 
the C++11 era) used not to lead to abi_check failures and it does now. 
Should look more into it...

Paolo.