(cherry picked from commit 11c6bafadb072e0e5777101e06b57e594f671093)
@@ -20,7 +20,7 @@ StarPU 1.4.0 (svn revision xxxx)
==============================================
New features:
-StarPU 1.3.1 (git revision xxx)
+StarPU 1.3.1 (git revision 01949488b4f8e6fe26d2c200293b8aae5876b038)
Small features:
Nathalie Furmento