chore: Bump for full 3.3 release (#1558)

dafny-lang · Nov 4, 2021 · ebd37a8 · ebd37a8
1 parent 71d8782
commit ebd37a8
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.3.0, year 2018+3 month 10 day 20
-[assembly: AssemblyVersion("3.3.0.31020")]
-[assembly: AssemblyFileVersion("3.3.0.31020")]
+// Version 3.3.0, year 2018+3 month 11 day 4
+[assembly: AssemblyVersion("3.3.0.31104")]
+[assembly: AssemblyFileVersion("3.3.0.31104")]