chiark / gitweb /
Check correctly for the case where no player is found.
[disorder] / ChangeLog
CommitLineData
02e6eb5f
RK
1See version control history for detailed change information.
2