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)
commite11a45c5c9d9a02635ee51c1aa3a387fdf07af6e
treea68da066dc3be617a58d30e71dd2c9908d69dd13
parentde68470d48df758fa42c90523f1195c687413b99
parent05032d016162cf027b134020b1606b1d1edf1408
Merge pull request #706 from hg42/fix-most-communication-problems

Fix most communication problems (#698 without waiting for "start")