diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2019-02-06 10:26:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-06 10:26:56 +0100 |
| commit | da649404508ebabc1bf773a3eddea25bf4557b35 (patch) | |
| tree | c315894f9b1f17271a1c30ae040f8bc082ff43d7 /documentgen-test | |
| parent | cdd90663c2c266e13800f26c4dc7338fcccda630 (diff) | |
| parent | d1bb4c50abfd7a3ec8be6b3a8da8adc3510d1358 (diff) | |
Merge pull request #8393 from vespa-engine/balder/do-yield-if-there-is-more-todo
No point yielding if there is more todo. Just get it over with.
Diffstat (limited to 'documentgen-test')
0 files changed, 0 insertions, 0 deletions