On Tue, Feb 28, 2023 at 12:12:22PM +0100, Thomas Huth wrote: > On 28/02/2023 11.51, Michael S. Tsirkin wrote: > > On Tue, Feb 28, 2023 at 11:39:39AM +0100, Markus Armbruster wrote: > > > The question to answer: Is 32 bit x86 worth its upkeep? Two > > > sub-questions: 1. Is it worth the human attention? 2. Is it worth > > > (scarce!) CI minutes? > > > > 3. Is it worth arguing about? > > You are aware of the problems we're currently struggeling with, aren't you? > Darn, we're having *SEVERE* problems with the CI, the QEMU project ran out > of CI minutes for the second time this year, and you ask whether it's worth > arguing about??? You're not serious with this question, are you? > > Thomas Yah just couldn't resist. How many minutes do we use per month btw? -- MST
