Re: Rawhide nodebug and the 3.12 kernel