Rawhide nodebug repo currently has a debug kernel

[Justin M. Forbes]

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 debug 
> 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.

Justin