diff --git a/doc/next-release.md b/doc/next-release.md
index 782544a25c..4c3ef1471d 100644
--- a/doc/next-release.md
+++ b/doc/next-release.md
@@ -47,6 +47,8 @@ New features:
 
 * The Vim mode for HOL now supports multiple simultaneous sessions. See its README for details.
 
+* Many of the standard libraries now provide an `add_X_compset : compset -> unit` (e.g., `add_pred_set_compset`) to ease building of custom call-by-name evaluation conversions that don't, like `EVAL`, include everything in `the_compset()`.
+
 Bugs fixed:
 -----------