What is new in WinBoard / XBoard 4.7.2?

Bugfix release for version 4.7.1