On 01/02/2022 19.34, Andrea Bolognani wrote:
On Tue, Feb 01, 2022 at 06:47:14PM +0100, Philippe Mathieu-Daudé wrote:
Andrea, do you think it is acceptable to merge this and fix on top, or
we should do it properly from start?
My preference is always to avoid follow-up tweaks if possible :) but
ultimately the decision is up to the QEMU developers and maintainers.
I really wouldn't mind if we simply re-use the old name, but if the
consensus here is that we should rename it, I think I'm with Andrea, then
let's rather rename it properly right from the start.
Thomas
