New release number

dafny-lang · Jan 7, 2021 · d4ef6c1 · d4ef6c1
1 parent 9e0afbf
commit d4ef6c1
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Source/version.cs b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 3.0.0 pre-release 2, year 2018+2 month 12 day 09
-[assembly: AssemblyVersion("3.0.0.21209")]
-[assembly: AssemblyFileVersion("3.0.0.21209")]
+// Version 3.0.0 pre-release 2, year 2018+3 month 01 day 07
+[assembly: AssemblyVersion("3.0.0.30107")]
+[assembly: AssemblyFileVersion("3.0.0.30107")]