[PATCH] RDSEED-builtin Description Fix

[Michael Zolotukhin]

Thanks!

On 10 August 2012 12:40, Kirill Yukhin <kirill.yukhin@gmail.com> wrote:
>> OK for mainline.
>
> Thanks!
> http://gcc.gnu.org/ml/gcc-cvs/2012-08/msg00264.html
>
> K



-- 
---
Best regards,
Michael V. Zolotukhin,
Software Engineer
Intel Corporation.