From 88fe0bcf86ad6cb95ffacfcd37f51fa3ae2da4fc Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Wed, 13 Nov 2019 15:50:39 +0100 Subject: Remove deprecated compat modifier of Notation / Infix commands. And simplify a lot the compatibility infrastructure following this. Update dev/tools/update-compat.py Remove much complexity. Co-authored-by: Jason Gross --- doc/changelog/03-notations/11113-remove-compat.rst | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 doc/changelog/03-notations/11113-remove-compat.rst (limited to 'doc') diff --git a/doc/changelog/03-notations/11113-remove-compat.rst b/doc/changelog/03-notations/11113-remove-compat.rst new file mode 100644 index 0000000000..8c71d70cda --- /dev/null +++ b/doc/changelog/03-notations/11113-remove-compat.rst @@ -0,0 +1,4 @@ +- Removed deprecated ``compat`` modifier of :cmd:`Notation` + and :cmd:`Infix` commands + (`#11113 `_, + by Théo Zimmermann, with help from Jason Gross). -- cgit v1.2.3