From a91c22fcfd5df6153cc9f1b1b4e3d9840055bf0d Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Tue, 12 Nov 2019 22:12:47 +0100 Subject: Adding change log for #10832. --- .../10832-master+fix6082-7766-overriding-notation-format.rst | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/changelog/03-notations/10832-master+fix6082-7766-overriding-notation-format.rst diff --git a/doc/changelog/03-notations/10832-master+fix6082-7766-overriding-notation-format.rst b/doc/changelog/03-notations/10832-master+fix6082-7766-overriding-notation-format.rst new file mode 100644 index 0000000000..5393fb3d8c --- /dev/null +++ b/doc/changelog/03-notations/10832-master+fix6082-7766-overriding-notation-format.rst @@ -0,0 +1 @@ +- Different interpretations in different scopes of the same notation string can now be associated to different printing formats; this fixes bug #6092 and #7766 (`#10832 `_, by Hugo Herbelin). -- cgit v1.2.3