-
Guido Trotter authored
Useful if we want to add many tasks at once, without contention with the previous one we added starting. Signed-off-by:
Guido Trotter <ultrotter@google.com> Reviewed-by:
Michael Hanselmann <hansmi@google.com>
c2a8e8ba
Useful if we want to add many tasks at once, without contention with the previous one we added starting. Signed-off-by:Guido Trotter <ultrotter@google.com> Reviewed-by:
Michael Hanselmann <hansmi@google.com>