Re: [PULL 0/5] Misc QEMU 7.1 fixes for 2002-08-08

[Paolo Bonzini]

On 8/8/22 16:23, Thomas Huth wrote:
> I still had some questions wrt to Daniel's patch, especially there seems 
> to be a bug ("spcie" instead of "spice"), see:
>
> https://lists.gnu.org/archive/html/qemu-devel/2022-08/msg01153.html
>
> I doubt that this test is working if spice is enabled...
> (which leads us to the next question: if the CI did not fail for you, 
> are we missing a build with spice enabled there?)

Fortunately the typo is not an issue; the top item of the visit does not 
have a key and therefore the name passed to the toplevel visit_type_* 
call is not used.

Paolo