chiark / gitweb /
cmdlistener: allow insns to prepend more insns
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Apr 2021 23:44:26 +0000 (00:44 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Apr 2021 23:44:26 +0000 (00:44 +0100)
commit7ee516592bc5dcf026dc98b7c6655188acf46f47
tree5891ecc1bfee27c2e0796e15f99fe494086ad382
parent2634f1a440ae39fe15dbdd987090122d7050c96b
cmdlistener: allow insns to prepend more insns

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/cmdlistener.rs