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 -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
