On Thu, Oct 7, 2021 at 5:23 PM Paolo Bonzini wrote:
> The options were deprecated in 6.0. That said, we do not really have a
> formal deprecation cycle for build-time changes, since they do not affect
> users.
>
> Signed-off-by: Paolo Bonzini
>
Reviewed-by: Marc-André Lureau
> ---
> config
The options were deprecated in 6.0. That said, we do not really have a
formal deprecation cycle for build-time changes, since they do not affect
users.
Signed-off-by: Paolo Bonzini
---
configure | 8
1 file changed, 8 deletions(-)
diff --git a/configure b/configure
index 33d330dcc9..d
