From a3620fadb13777cb0767d6459cc2ef0aa4090037 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 12 Mar 2021 01:11:18 +0000
Subject: [PATCH] hidden: a todo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 apitest/at-otter.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/apitest/at-otter.rs b/apitest/at-otter.rs
index fb7eee70..ba07b369 100644
--- a/apitest/at-otter.rs
+++ b/apitest/at-otter.rs
@@ -351,6 +351,8 @@ impl Ctx {
 
     session.synch(&mut self.su)?;
 
+    // to repro a bug, have Bob move the RHS pawn out again
+
     self.su.mgmt_conn.cmd(&MC::LoadFakeRng(vec![]))?;
   }
 }
-- 
2.30.2