No PPC (32-bit) kernel in rawhide?

[David Woodhouse]

On Sat, 2006-12-16 at 14:51 +0000, Rob Andrews wrote:
> fedora/linux/core/development/ppc/os/Fedora/RPMS/ doesn't seem to have a
> 32-bit PPC kernel - it does have a 64-bit kernel, however. 

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25724
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21237

Jakub, should I file a bug in our bugzilla for that, or just wait for
the fix to migrate?

-- 
dwmw2