From 4142bae58c90e9cfc3a91205927a1072eaae0448 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Thu, 23 Apr 2020 16:43:37 -0400
Subject: [PATCH] set SCHED_BATCH only where it makes sense

---
 static/releases.html | 1 +
 1 file changed, 1 insertion(+)

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>