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
