diff options
| -rw-r--r-- | doc/index.html | 4 | 
1 files changed, 2 insertions, 2 deletions
| diff --git a/doc/index.html b/doc/index.html index 7bcd4fa88..fb90c4cfd 100644 --- a/doc/index.html +++ b/doc/index.html @@ -56,8 +56,8 @@            GTK, and OS X</font>          </td>          <td width="40%" align="right"> -          <font color="#FFCC99" size="3"> Release version 5.1.2<br /> -           Site last modified September 23 2021</font> +          <font color="#FFCC99" size="3"> Release version 5.1.3<br /> +           Site last modified September 29 2021</font>          </td>          <td width="20%">              | 
