chiark / gitweb /
mgmtchannels: Change type of ClientMgmtChannel
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 31 May 2021 20:37:44 +0000 (21:37 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 31 May 2021 20:37:44 +0000 (21:37 +0100)
commitcb8d06cd450d8b9fdfc1023063550569ae7e2f12
tree8e1b56682ff51c945c078af373c3fc9eefad16e5
parent75211a6468effe27e959ef738ad35ec353a7d248
mgmtchannels: Change type of ClientMgmtChannel

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