On Thu, Feb 20, 2020 at 02:44:00PM +0100, Vitaly Kuznetsov wrote: > Paolo Bonzini <pbonzini@xxxxxxxxxx> writes: > > > Avoid more embarrassing mistakes. > > "avoid more" != "make less" :-) Ha! "Fail the build so embarrassing mistakes are *really* emabarrassing". Where there's a will, there's a way. :-)
