On 17/1/24 15:10, Thomas Huth wrote:
For consistency we should drop the names with a "+" in it in the long run. Signed-off-by: Thomas Huth <thuth@xxxxxxxxxx> --- docs/about/deprecated.rst | 9 +++++++++ 1 file changed, 9 insertions(+)
Reviewed-by: Philippe Mathieu-Daudé <philmd@xxxxxxxxxx> _______________________________________________ Devel mailing list -- devel@xxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxx
