chiark / gitweb /
wdt: plumb server child through to Setup
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 27 Jan 2021 00:04:01 +0000 (00:04 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 27 Jan 2021 00:04:01 +0000 (00:04 +0000)
commitaf507695584cdcd6857df2f086330391b180de9a
treec519399263c4c0820b196904d4d1cf242897b426
parent1aaf162ca0671c6cf559cf5baf3633e54c5be97e
wdt: plumb server child through to Setup

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