Merge PR #11735: Deprecating catchable_exception

Reviewed-by: ejgallego
Reviewed-by: ppedrot

1 files changed, 7 insertions, 0 deletions

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index d5938713d6..9088df6856 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -2,6 +2,13 @@
 
 ### ML API
 
+Refiner.catchable_exception is deprecated, use instead
+CErrors.noncritical in try-with block. Note that nothing is needed in
+tclORELSE block since the exceptions there are supposed to be
+non-critical by construction.
+
+### ML API
+
 Types `precedence`, `parenRelation`, `tolerability` in
 `notgram_ops.ml` have been reworked. See `entry_level` and
 `entry_relative_level` in `constrexpr.ml`.