Re: [PATCH] RDSEED-builtin Description Fix

[Kirill Yukhin]

> OK for mainline.

Thanks!
http://gcc.gnu.org/ml/gcc-cvs/2012-08/msg00264.html

K