This is a diff between 1.31 and 1.32 revisions:
58a59< -->56d57> A v7.2.10 installer will be made available soon. Meanwhile, the previous version:
> 54a54< <!--53d54>
58a59< -->56d57> A v7.2.10 installer will be made available soon. Meanwhile, the previous version:
> 54a54< <!--53d54>