Bump version to 2025.01.17

Preparing to trigger a release.
FStarLang · Jan 17, 2025 · 810e8ea · 810e8ea
1 parent ca2bf0c
commit 810e8ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/version.txt b/version.txt
@@ -1 +1 @@
-2025.01.07
+2025.01.17