(cherry picked from commit bc54b5e6f1e399b2397b9a80b69566bb72153eff)
@@ -20,7 +20,7 @@ StarPU 1.4.0 (svn revision xxxx)
==============================================
New features:
-StarPU 1.3.0 (svn revision xxxx)
+StarPU 1.3.0 (git revision 24ca83c6dbb102e1cfc41db3bb21c49662067062)