What is new in WinBoard / XBoard 4.7.1?

Bugfix release for version 4.7.0