[XBoard-devel] new release 4.7.2

[Arun Persaud]

Hi

just pushed a new release 4.7.2 with some small bugfixes. I also updated
the dev-release for master, since it contains a few commits that are not
in v4.7.2.

Arun