new version number for release 4.7.2
[xboard.git] / doc-maint /
2012-03-04 Arun Persaudadded some documentation about what's need to be done...