From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 31 Jul 2020 21:45:39 +0000 (+0100)
Subject: make push pub
X-Git-Tag: otter-0.2.0~1216
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=283274f138b4c724168bc9a6aa6b363678576233;p=otter.git

make push pub
---

diff --git a/src/updates.rs b/src/updates.rs
index 1dde1b61..ec08fc7e 100644
--- a/src/updates.rs
+++ b/src/updates.rs
@@ -91,7 +91,7 @@ impl Default for PlayerUpdates {
 }
 
 impl PlayerUpdates {
-  fn push<U: Into<Arc<PreparedUpdate>>>(&mut self, update: U) {
+  pub fn push<U: Into<Arc<PreparedUpdate>>>(&mut self, update: U) {
     self.log.push_back(update.into());
     self.cv.notify_all();
   }