From cd8aefceb03effbda979ea7403c20eaa7ca4cef7 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Tue, 1 Sep 2020 17:35:10 +0200 Subject: Add change log for #12965. --- .../12965-master+fix9569-propagage-binding-vars-notations.rst | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst (limited to 'doc') diff --git a/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst b/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst new file mode 100644 index 0000000000..83baf65526 --- /dev/null +++ b/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst @@ -0,0 +1,6 @@ +- **Fixed:** + Occasional unexpected capture of the name of global references by + binders in the presence of notations for binders + (`#12965 `_, + fixes `#9569 `_, + by Hugo Herbelin). -- cgit v1.2.3 From d13abaf2b7789aecccd607e014025b6c8b9ae094 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Fri, 20 Nov 2020 10:00:47 +0100 Subject: Update doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst Co-authored-by: Enrico Tassi --- .../12965-master+fix9569-propagage-binding-vars-notations.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst b/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst index 83baf65526..e63ab9696e 100644 --- a/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst +++ b/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst @@ -1,5 +1,5 @@ - **Fixed:** - Occasional unexpected capture of the name of global references by + Capture of the name of global references by binders in the presence of notations for binders (`#12965 `_, fixes `#9569 `_, -- cgit v1.2.3