Correcting a header from "size" to "timeout".
@@ -142,7 +142,7 @@ flakiness.</p>
<table class="table table-bordered table-striped table-condensed">
<thead>
- <tr><th>size</th><th>Time minimum (sec.)</th></tr>
+ <tr><th>timeout</th><th>Time minimum (sec.)</th></tr>
</thead>
<tbody>
<tr><td><code>short</code></td><td>0</td></tr>
