diff --git a/Release.md b/Release.md
index 4805952f200da7c98806176b809c6102660875ee..c032a62211ccbe73c02d3e04acb314309e21283c 100644
--- a/Release.md
+++ b/Release.md
@@ -1,2 +1,2 @@
 # Version for evaluation:
-branch develop, commit 3133235bc54a85f86b4ae47d36d16e928337d015.
+branch develop, commit 85feb288b99c149b21dbfb376f54e6a4ee535ae3.