Merge branch 'upstream/master' (4c7de9e8ab) into tools

2026-05-20 03:57:45 +00:00 · 2022-05-30 12:07:07 +02:00
parent c90279e156 4c7de9e8ab
commit f710dc97e2
60 changed files with 2394 additions and 1784 deletions
@@ -43,7 +43,7 @@ cat << EOF > repeat.exp
 expect eof
 EOF

-# to increase the likelyhood of finding a non-reproducible case,
+# to increase the likelihood of finding a non-reproducible case,
 # the allowed number of nodes are varied systematically
 for i in `seq 1 20`
 do