[MERGE] Forward-port of branch 14.0 to master

2026-01-04 18:55:51 +07:00 · 2021-06-07 09:18:35 +02:00
parent 79f8baadd3 5469c2fb2c
commit f6d3c5628d
144 changed files with 1592 additions and 1593 deletions
--- a/2
+++ b/2
@@ -1,6 +1,6 @@
 # Makefile for Sphinx documentation

-# Pass WORKERS=auto for parallel build
+# Pass WORKERS=1 for single-worker build
 ifndef WORKERS
  WORKERS = auto
 endif