diff --git a/static/releases.html b/static/releases.html
index c7a5e7ab..05b9bd46 100644
--- a/static/releases.html
+++ b/static/releases.html
@@ -313,6 +313,7 @@
             <p>Changes since the 2020.04.14.23 release:</p>
 
             <ul>
+                <li>set SCHED_BATCH in the build system and release generation scripts instead of the interactive shell</li>
                 <li>Vanadium: update Chromium base to 81.0.4044.111</li>
             </ul>