[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Use of "?" for help has been deprecated for 8 years, can we drop it?
From: |
Thomas Huth |
Subject: |
Re: Use of "?" for help has been deprecated for 8 years, can we drop it? |
Date: |
Thu, 1 Oct 2020 12:46:39 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.6.0 |
On 01/10/2020 12.35, Markus Armbruster 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?
It's not mentioned in docs/system/deprecated.rst yet, so it is not
officially deprecated yet. Provide a patch to add it to the list there,
then you can remove it after two releases.
Thomas