diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2020-04-23 16:43:37 -0400 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2020-04-23 16:43:37 -0400 |
| commit | 4142bae58c90e9cfc3a91205927a1072eaae0448 (patch) | |
| tree | f4dcf1f314dc433520d4e4928f55af357c41fbe8 | |
| parent | 8442e2f8982824af8599d640f8ea583bdb023fd0 (diff) | |
set SCHED_BATCH only where it makes sense
| -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> |