On Wed, Apr 28, 2021 at 12:55:26PM +0200, Paolo Bonzini wrote:
There shouldn't be any conflicts right now, but perhaps it's easiest to
merge the whole series for -rc2.
You mean, merge it upstream or into tip? I think you mean upstream
because then it would be easy for everyone to base new stuff ontop.