chiark / gitweb /
Merge pull request #333 from smorloc/master
authordaid <daid303@gmail.com>
Sat, 19 Jan 2013 14:36:04 +0000 (06:36 -0800)
committerdaid <daid303@gmail.com>
Sat, 19 Jan 2013 14:36:04 +0000 (06:36 -0800)
2 fixes for bugs I introduced in recent new features


Trivial merge