On 02.08.2017 09:38, Paolo Bonzini wrote: > On 01/08/2017 19:37, Radim Krčmář wrote: >> >> Do you it's less ugly than the other two options? > > It's awesome, but it's a non-trivial project of its own. :) > > Paolo >
That would be a perfect cleanup and I'll be happy to review it ;) ... until then, Paolo's patch in the current form is fine from my side. -- Thanks, David