chiark / gitweb /
Merge pull request #706 from hg42/fix-most-communication-problems
authordaid <daid303@gmail.com>
Sat, 18 Jan 2014 08:25:36 +0000 (00:25 -0800)
committerdaid <daid303@gmail.com>
Sat, 18 Jan 2014 08:25:36 +0000 (00:25 -0800)
Fix most communication problems (#698 without waiting for "start")


Trivial merge