From 9887aa4063d70a8fd4f4b47c8d6a2f5715aa4804 Mon Sep 17 00:00:00 2001 From: Nathan Rebours Date: Fri, 2 Feb 2024 12:42:17 +0100 Subject: [PATCH] Update CHANGES.md Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Signed-off-by: Nathan Rebours --- CHANGES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index 758cfac8..ba69d7bf 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -3,7 +3,7 @@ unreleased - Add an optional `embed_errors` argument to `Context_free.map_top_down` that controls how to deal with exceptions thrown by context-free rules. - (#, @NathanReb) + (#468, @NathanReb) - Fix `Longident.parse` so it properly handles unparenthesized dotted operators such as `+.` or `*.`. (#111, @rgrinberg, @NathanReb)