From a6277a68177b5cd6d53502bb780d1c6482dc22f1 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 22 Oct 2023 01:31:44 -0600 Subject: [PATCH] _ Signed-off-by: Rudi Grinberg --- CHANGES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES.md b/CHANGES.md index aa65d1965..9b97125ee 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -17,6 +17,7 @@ - Compatibility with Odoc 2.3.0, with support for the introduced syntax: tables, and "codeblock output" (#1184) + - Display text of references in doc strings (#1166) - Add mark/remove unused actions for open, types, for loop indexes, modules,