-
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>