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
>