Am 01.10.2020 um 17:23 hat Christian Borntraeger geschrieben: > > > On 01.10.20 13:20, Peter Maydell wrote: > > On Thu, 1 Oct 2020 at 11:35, Markus Armbruster <arm...@redhat.com> wrote: > >> > >> We deprecated "?" more than eight years ago. We didn't have a > >> deprecation process back then, but we did purge "?" from the > >> documentation and from help texts. Can we finally drop it? > > > > Is it really that terrible a burden to support having an > > alias for 'help' ? > > I agree. Having the "?" is really convenient.
If people actually care about "?", can one of you send a patch to remove the comment that declares it deprecated? Kevin
