On 01.10.20 13:20, Peter Maydell wrote: > On Thu, 1 Oct 2020 at 11:35, Markus Armbruster <[email protected]> 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.
- Use of "?" for help has been deprecated fo... Markus Armbruster
- Re: Use of "?" for help has been depr... Thomas Huth
- Re: Use of "?" for help has been depr... Peter Maydell
- Re: Use of "?" for help has been ... Christian Borntraeger
- Re: Use of "?" for help has b... Kevin Wolf
- Re: Use of "?" for help has been depr... Eric Blake
- Re: Use of "?" for help has been ... Kevin Wolf
- Re: Use of "?" for help has b... Thomas Huth
- Re: Use of "?" for help has been ... BALATON Zoltan via
- Re: Use of "?" for help has b... Gerd Hoffmann
