diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 3887625a469..56f731e650f 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -1,5 +1,8 @@
 # Upcoming
 
+
+# 3.4.1
+
 - feat: Plugin support in the resolution pipeline (https://github.com/dafny-lang/dafny/pull/1739)
 - fix: NullPointerException in the AST (https://github.com/dafny-lang/dafny/pull/1805)
 - fix: Change datatype deconstruction in match statements for C# (https://github.com/dafny-lang/dafny/issues/1815)
diff --git a/Source/version.cs b/Source/version.cs
index 22c27303c1a..02dd7841f42 100644
--- a/Source/version.cs
+++ b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 3.4.0, year 2018+4 month 1 day 12
-[assembly: AssemblyVersion("3.4.0.40208")]
-[assembly: AssemblyFileVersion("3.4.0.40208")]
+// Version 3.4.1, year 2018+4 month 2 day 15
+[assembly: AssemblyVersion("3.4.1.40215")]
+[assembly: AssemblyFileVersion("3.4.1.40215")]