diff options
Diffstat (limited to 'static')
| -rw-r--r-- | static/releases.html | 1 |
1 files changed, 1 insertions, 0 deletions
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> |