chiark / gitweb /
mgmtchanne: More helpfully report errors from AlterGame insns
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Jan 2021 21:49:51 +0000 (21:49 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Jan 2021 23:19:44 +0000 (23:19 +0000)
commit83ff547e695cf85d85eb7b37d330a2875d9fcf03
tree6e85050cd0f77489c4d33ec7a2be70e82ba6bc26
parent7f1e4251028108c0368a90c0fb179d4414cfcce9
mgmtchanne: More helpfully report errors from AlterGame insns

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