|
From: | Thomas Huth |
Subject: | Re: [PATCH 2/2] tests: Update CentOS 8 container to CentOS Stream 8 |
Date: | Wed, 2 Feb 2022 06:36:36 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |