chiark / gitweb /
Make tests/play.py more reliable.