From d3986532e39fd1c9148c1906efe35dfa9030436b Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sun, 23 Oct 2022 10:26:40 +0300
Subject: chore: use push_back instead of deprecated push

Sponsored-by: author
---
 src/engine.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.1