Closed espindola closed 9 months ago
This allows using self.queue.remove(&id) directly, which then allows other simplifications.
The "other simplifications" are
This allows using self.queue.remove(&id) directly, which then allows other simplifications.