On Tue, 2012-11-20 at 17:10 -0600, Bruno Wolff III wrote:
3.7.0-0.rc6.git1.1.fc19 in the rawhide nodebug repo looks to be a
kernel based on the rpms in that repo. (It also appears to have the
performance issues of a debug kernel.)
Thanks for the heads up. A new kernel is building now and will be pushed
as soon as it is done.