qemu-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH v6 19/21] Remove Texinfo related line from git.orderfile


From: Markus Armbruster
Subject: Re: [PATCH v6 19/21] Remove Texinfo related line from git.orderfile
Date: Tue, 29 Sep 2020 14:37:38 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)

Peter Maydell <peter.maydell@linaro.org> writes:

> We don't use Texinfo any more; we can remove the references to the
> .texi source file from our git.orderfile.
>
> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

Reviewed-by: Markus Armbruster <armbru@redhat.com>




reply via email to

[Prev in Thread] Current Thread [Next in Thread]