Processed: Re: gcc-4.8: can't compile working 64bit kernel with 32bit userspace gcc-4.8

Processing control commands: > severity -1 important Bug #717557 [gcc-4.8] gcc-4.8: can't compile working 64bit kernel with 32bit userspace gcc-4.8 Severity set to 'important' from 'grave' > tags -1 + moreinfo Bug #717557 [gcc-4.8] gcc-4.8: can't compile working 64bit kernel with 32bit userspace

Processed: Re: gcc-4.8: can't compile working 64bit kernel with 32bit userspace gcc-4.8

Processing control commands: > severity -1 important Bug #717557 [gcc-4.8] gcc-4.8: can't compile working 64bit kernel with 32bit userspace gcc-4.8 Ignoring request to change severity of Bug 717557 to the same value. > tags -1 + moreinfo Bug #717557 [gcc-4.8] gcc-4.8: can't compile working 64bit

Processed: Re: gcc-4.8: can't compile working 64bit kernel with 32bit userspace gcc-4.8

Processing control commands: > found -1 4.8.2-1 Bug #717557 [gcc-4.8] gcc-4.8: can't compile working 64bit kernel with 32bit userspace gcc-4.8 Marked as found in versions gcc-4.8/4.8.2-1. > tag -1 - moreinfo Bug #717557 [gcc-4.8] gcc-4.8: can't compile working 64bit kernel with 32bit userspace g