On Fri, Feb 02, 2018 at 09:35:52AM -0600, Eric Blake wrote:
> On 02/02/2018 05:10 AM, Gerd Hoffmann wrote:
> > Not used any more, delete it.
> >
> > Signed-off-by: Gerd Hoffmann
> > ---
> > vl.c | 7 ++-
> > 1 file changed, 2 insertions(+), 5 deletions(-)
> >
> > diff
On 02/02/2018 05:10 AM, Gerd Hoffmann wrote:
> Not used any more, delete it.
>
> Signed-off-by: Gerd Hoffmann
> ---
> vl.c | 7 ++-
> 1 file changed, 2 insertions(+), 5 deletions(-)
>
> diff --git a/vl.c b/vl.c
> @@ -4368,7 +4364,8 @@ int main(int argc, char **argv,
Not used any more, delete it.
Signed-off-by: Gerd Hoffmann
---
vl.c | 7 ++-
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/vl.c b/vl.c
index 25e784be63..c17dedfa4e 100644
--- a/vl.c
+++ b/vl.c
@@ -152,7 +152,6 @@ int vga_interface_type = VGA_NONE;
static