chiark / gitweb /
Merge pull request #989 from brad/type_error
authordaid <daid303@gmail.com>
Mon, 20 Oct 2014 08:25:11 +0000 (10:25 +0200)
committerdaid <daid303@gmail.com>
Mon, 20 Oct 2014 08:25:11 +0000 (10:25 +0200)
avoid TypeError when reading the active io


Trivial merge