Merge branch 'liw/chore' into 'main'

chore: use push_back instead of deprecated push

See merge request obnam/obnam!239

1 files changed, 1 insertions, 1 deletions

diff --git a/src/engine.rs b/src/engine.rs
index 384f591..d35281b 100644
--- a/src/engine.rs
+++ b/src/engine.rs
@@ -76,7 +76,7 @@ async fn manage_workers<S, T, F>(
                     // We got a work item. Launch background task to
                     // work on it.
                     let tx = tx.clone();
-                    workers.push(do_work(work, tx, func));
+                    workers.push_back(do_work(work, tx, func));
 
                     // If queue is full, wait for at least one
                     // background task to finish.